premise: Genevieve has not visited North Korea, Andrea has visited Equatorial Guinea, Harriet has not visited San Mmarino and if Harriet has visited San Mmarino then Peggy has visited Malawi
hypothesis: Peggy has visited Malawi