Premise: yes yes we went last summer actually

Hypothesis: We visited last winter.
Relation: contradiction