Premise:  Now he was here--wherever here was.
Hypothesis: He was here, right in front of me.
Label: contradiction