premise: Barbara has not visited Marshall Islands, Cora has not visited Indonesia, Genevieve has visited Nauru and if Barbara has not visited Marshall Islands then Charlotte has not visited Kosovo
hypothesis: Charlotte has not visited Kosovo