premise: Georgia has not visited Kosovo, Josephine has visited Rwanda, Karen has not visited Eritrea and if Karen has visited Eritrea then Katie has visited Papua New Guinea
hypothesis: Katie has not visited Papua New Guinea