Premise: Julius elected to stay the night at Holyhead.

Hypothesis: Julius will be leaving Holyhead this evening.
Relation: contradiction