Premise: 'What's he doing down here?

Hypothesis: He is up there. 
Relation: contradiction