premise: Ted has only visited Barbados, Thomas has only visited Morocco, Seth has only visited Pakistan, Nelson has only visited Thailand, Arnold has only visited Belize, Larry has only visited Malawi, Franklin has only visited Canada, John has only visited United Kingdom, Alvin has only visited Sweden
hypothesis: Johnny didn't visit Belize