premise: Thomas has only visited South Korea, Sergio has only visited Cuba, Felix has only visited Azerbaijan, Frederick has only visited Timor-Leste, William has only visited Honduras, Harry has only visited Grenada
hypothesis: Paul didn't visit Grenada