premise: Edwin has only visited United Kingdom, Everett has only visited Cyprus, Alberto has only visited Samoa, Ted has only visited Kenya, Leroy has only visited Czech Republic, Karl has only visited Cabo, Dave has only visited Papua New Guinea, Byron has only visited Slovenia, James has only visited Republic of the Congo, Dan has only visited Suriname, Cory has only visited Japan, Allan has only visited Gabon
hypothesis: Everett didn't visit Cyprus