Premise: That wasn't downstairs?"

Hypothesis: That wasn't downstairs, it was upstairs.
Relation: contradiction