Premise: (Actually, the king of Cyprus didn't get in.

Hypothesis: The king of Cyprus got in.
Relation: contradiction