Premise: Then he was gone.

Hypothesis: Then he stayed here.
Relation: contradiction