Premise: 'What's he doing down here?
Hypothesis: He is up there. 
Label: contradiction