Premise: it was already setup when we bought it

Hypothesis: It was working when we bought it, now it's not.
Relation: contradiction