premise: Travis has only visited Mali, Clyde has only visited Eswatini, Norman has only visited South Korea, Gregory has only visited Andorra, Timothy has only visited Liechtenstein, Gabriel has only visited Yemen, Sam has only visited Lesotho, Javier has only visited United Kingdom, Sean has only visited Papua New Guinea, Joel has only visited Belarus, Leon has only visited Philippines, Randy has only visited Kenya
hypothesis: Timothy didn't visit Togo