premise: Carol has not visited Bosnia & Herzegovinia, Brittany has visited Israel, Yvette has not visited Antigua & Barbuda and if Yvette has visited Antigua & Barbuda then Denise has visited Gambia
hypothesis: Denise has visited Gambia