premise: Agnes has not visited Yemen, Carole has not visited Côte D'ivore, Marian has visited Oman and if Carole has not visited Côte D'ivore then Bobbie has visited Antigua & Barbuda
hypothesis: Bobbie has not visited Antigua & Barbuda