Premise: Where is he?

Hypothesis: What is he doing there?
Relation: contradiction