premise: Allan has only visited Turkmenistan, Oman, Bahrain, Dominican Republic, Cyprus, Antigua & Barbuda, Belarus, Monaco, Honduras, Greece, Colombia, Israel, South Korea and Vanuatu
hypothesis: Ken didn't visit Antigua & Barbuda