Premise:  Now he was here--wherever here was.
Hypothesis: He was here but it wasn't obvious where.
Label: entailment