premise: Walter has only visited Tuvalu, Terrence has only visited South Korea, Julio has only visited Côte D'ivore, Gerald has only visited Oman, Luis has only visited Equatorial Guinea, Albert has only visited Bahrain, Gilbert has only visited Spain
hypothesis: Terrence didn't visit Cuba