premise: Javier has only visited United Kingdom, Sri Lanka, Oman, Dominican Republic, Indonesia, Djibouti, Ireland, Qatar, Cuba, Poland, Jamaica, Kazakhstan, Guinea-Bissau, Armenia, San Mmarino, Bahrain and Timor-Leste
hypothesis: Carlos didn't visit Guinea-Bissau