Premise: Why is he here?

Hypothesis: Where is he?
Relation: contradiction