premise: Roger has only visited Uruguay, Kyle has only visited Mali, Travis has only visited Timor-Leste, Jeffery has only visited Tunisia, Kevin has only visited Moldova, Joseph has only visited Germany, Tim has only visited Zimbabwe
hypothesis: Kyle didn't visit Mali