premise: Kristy has not visited Algeria, Iris has not visited Federated States of Micronesia, Ellen has visited Australia and if Kristy has visited Algeria then Sheryl has visited Palestine
hypothesis: Sheryl has visited Palestine