premise: Gregory has only visited Zambia, Jerry has only visited Tonga, Jerome has only visited Liberia, Larry has only visited Federated States of Micronesia, Max has only visited Guinea-Bissau, Mike has only visited Solomon Islands, Curtis has only visited Greece
hypothesis: Mike didn't visit Solomon Islands