premise: Gregory has only visited Switzerland, Barbados, South Korea, Vatican City, San Mmarino, Nauru, Samoa, Mauritius, Vietnam, India, Fiji, Nigeria, Benin, Côte D'ivore and Gambia
hypothesis: Martin didn't visit Côte D'ivore