premise: Audrey has not visited Laos, Grace has not visited Somalia, Priscilla has visited Switzerland and if Audrey has not visited Laos then Nicole has visited Papua New Guinea
hypothesis: Nicole has not visited Papua New Guinea