Premise: I'm at Waterloo.

Hypothesis: I left Waterloo already.
Relation: contradiction