premise: Dave has only visited Belize, Glen has only visited Côte D'ivore, Dan has only visited Benin, Don has only visited Cambodia, Clarence has only visited Venezuela, Mitchell has only visited Tonga, Leroy has only visited Angola, Jack has only visited Norway, Albert has only visited Vietnam, Lloyd has only visited Malawi
hypothesis: Leroy didn't visit Tuvalu