Premise: It was at Holyhead.

Hypothesis: It's never been at Holyhead.
Relation: contradiction