Premise: He has been here, then?

Hypothesis: He has never been there.
Relation: contradiction