premise: Stephen has only visited Dominican Republic, Tony has only visited Seychelles, Clifton has only visited Slovenia, Roberto has only visited Zambia, Leo has only visited Eritrea, Marcus has only visited South Korea, Craig has only visited Bolivia
hypothesis: Alan didn't visit South Korea