premise: Ben has only visited Czech Republic, Guinea, Ethiopia, Togo, Vanuatu, Turkey, The Bahamas, Federated States of Micronesia, Kazakhstan, Mexico, Armenia, Djibouti, Netherlands, Guinea-Bissau, Iraq, Grenada, Spain, Vatican City, Belgium and Honduras
hypothesis: Ben didn't visit Netherlands