Premise: The boat train to Holyhead stops at Chester at 12.14.

Hypothesis: The boat train doesn't have any stops.
Relation: contradiction