premise: Harold has only visited Fiji, Luis has only visited Malta, Donald has only visited Pakistan, Roy has only visited Federated States of Micronesia, William has only visited Belgium, Ian has only visited Senegal
hypothesis: David didn't visit Federated States of Micronesia