premise: Cora has not visited United Arab Emirates, Shelley has visited Indonesia, Irene has not visited Federated States of Micronesia and if Irene has not visited Federated States of Micronesia then Gina has visited Kazakhstan
hypothesis: Gina has visited Kazakhstan