premise: Ivan has only visited Egypt, Allen has only visited Tuvalu, Casey has only visited Canada, Darren has only visited Gabon, Ted has only visited Malaysia, Michael has only visited Madagascar, Ross has only visited Thailand, Patrick has only visited Denmark
hypothesis: Ivan didn't visit Slovakia