premise: Bob has only visited Qatar, Jared has only visited Zambia, Virgil has only visited Dominica, Howard has only visited Nicaragua, Tim has only visited Federated States of Micronesia, Glen has only visited Slovakia, Freddie has only visited Kyrgyzstan
hypothesis: Carlos didn't visit Federated States of Micronesia