premise: Andre has only visited Tonga, Benjamin has only visited Libya, Casey has only visited Ecuador, Jose has only visited Senegal, Joe has only visited Cameroon, Tony has only visited Namibia
hypothesis: Leo didn't visit Namibia