premise: Linda has visited Thailand, Genevieve has not visited Brunei, Janie has visited Bosnia & Herzegovinia and if Linda has visited Thailand then Jenny has visited The Bahamas
hypothesis: Jenny has not visited The Bahamas