Premise: was on the top floor.

Hypothesis: It was in the basement. 
Relation: contradiction