Premise: Patrick's is the national cathedral of the Church of Ireland).

Hypothesis: The Church of Ireland does not have a national Cathedral.
Relation: contradiction