Premise:  Now he was here--wherever here was.

Hypothesis: He was here, right in front of me.
Relation: contradiction