mnli premise: However, Tommy had plenty of time to cool down before they reached Holyhead, and the cheerful grin had returned to his countenance as they alighted at their destination. hypothesis: Tommy was with them when they arrived in Holyhead.