premise: Sheryl has not visited Philippines, Kimberly has not visited Thailand, Constance has visited South Africa and if Kimberly has not visited Thailand then Naomi has visited Zambia
hypothesis: Naomi has not visited Zambia