Premise: No one has gone into the house so far.
Hypothesis: Everyone is in the house right now. 
Label: contradiction