premise: Dean has only visited Solomon Islands, Bobby has only visited Sri Lanka, Aaron has only visited Malaysia, Troy has only visited Germany, Kirk has only visited Angola, Raul has only visited Tuvalu, Paul has only visited Federated States of Micronesia
hypothesis: Paul didn't visit Federated States of Micronesia