premise: Kent has only visited Israel, Harold has only visited Costa Rica, Samuel has only visited North Korea, Gilbert has only visited Mauritania, Willard has only visited Switzerland, Alan has only visited United Arab Emirates, Ian has only visited Mauritius, Terry has only visited Panama
hypothesis: Ernest didn't visit North Korea