Premise: But where is he?
Hypothesis: He is over there. 
Label: contradiction