premise: Everyone has visited South Korea, Guatemala, Bhutan, Libya, Mozambique, Equatorial Guinea, Saudi Arabia, The Bahamas, Poland, Belize, Federated States of Micronesia, Bolivia, Angola, Spain, Egypt, Slovenia, Zambia, Mexico and Iran
hypothesis: A person didn't visit Spain