premise: Everyone has visited Barbados, Libya, Timor-Leste, Sudan, Democratic Republic of the Congo, Uruguay, Ecuador, Iran, Saint Vincent & the Grenadines, Eswatini, Myanmar, Lesotho, Zambia, Armenia, Solomon Islands, Brazil, Pakistan, Guatemala, Zimbabwe and Luxembourg
hypothesis: A person did visit Guatemala