Julius elected to stay the night at Holyhead.
Julius will be leaving Holyhead this evening.
mnli hypothesis: Julius will be leaving Holyhead this evening. premise: Julius elected to stay the night at Holyhead.