premise: Jan has not visited Bangladesh, Sarah has visited Djibouti, Alison has not visited Federated States of Micronesia and if Alison has visited Federated States of Micronesia then Pamela has visited Lithuania
hypothesis: Pamela has visited Lithuania