premise: Eugene has only visited Lesotho, Charlie has only visited United Kingdom, Arnold has only visited Slovakia, Clinton has only visited Bulgaria, Alfredo has only visited Zimbabwe, Roberto has only visited Gambia, Bryan has only visited Lithuania, Matthew has only visited Croatia, John has only visited Guinea, Gene has only visited Barbados, Don has only visited Sweden, Wesley has only visited China
hypothesis: Alfredo didn't visit Zimbabwe