Premise: It is used for the inauguration of the Irish president.

Hypothesis: There are no inaugurations for Irish presidents.
Relation: contradiction