premise: Anthony has only visited Côte D'ivore, Ivan has only visited Belgium, Randall has only visited Italy, Clifton has only visited Indonesia, Rene has only visited Czech Republic, Ken has only visited Vanuatu, Joe has only visited Colombia
hypothesis: Anthony didn't visit Côte D'ivore