premise: Jenny has not visited Peru, Alice has not visited Lesotho, Colleen has visited Mauritania and if Alice has not visited Lesotho then Janet has not visited Papua New Guinea
hypothesis: Janet has not visited Papua New Guinea