Premise: He left us shortly after.

Hypothesis: He stayed the whole time.
Relation: contradiction