Premise: was on the top floor.
Hypothesis: It was in the basement. 
Label: contradiction