premise: Ernest has only visited Zambia, Wade has only visited Eritrea, Scott has only visited Trinidad & Tobago, Ruben has only visited Syria, Dave has only visited Senegal, Andre has only visited Uruguay, Lonnie has only visited Belarus, Phillip has only visited Gabon, Jeff has only visited Comoros, Tracy has only visited Estonia, Maurice has only visited Nigeria, Theodore has only visited Cuba
hypothesis: Theodore didn't visit Botswana