premise: Pamela has not visited Malta, Stephanie has visited Myanmar, Gwendolyn has not visited North Korea and if Gwendolyn has visited North Korea then Jessica has visited Senegal
hypothesis: Jessica has not visited Senegal