(Actually, the king of Cyprus didn't get in.
The king of Cyprus was trying to get in the country.
mnli hypothesis: The king of Cyprus was trying to get in the country. premise: (Actually, the king of Cyprus didn't get in.