premise: Everyone has visited Luxembourg, Lesotho, Czech Republic, Gabon, Peru, Iran, Guyana, Tuvalu, Maldives, Montenegro, São Tomé & Prícipe, Poland, Saudi Arabia, Finland, Bulgaria, Botswana, Chile, Nicaragua and Andorra
hypothesis: A person didn't visit Gabon