premise: Priscilla has not visited Togo, Virginia has visited North Korea, Sandra has not visited Madagascar and if Sandra has visited Madagascar then Jeanette has visited Mozambique
hypothesis: Jeanette has not visited Mozambique