Premise: He just got into town.

Hypothesis: He left town a year ago and never came back.
Relation: contradiction