Premise: He's going out of the gate.

Hypothesis: He's entering via the gate.
Relation: contradiction