premise: Angel has only visited Lithuania, Roy has only visited Kyrgyzstan, Kent has only visited Canada, Andre has only visited Argentina, Ruben has only visited Libya, Manuel has only visited Turkmenistan, Felix has only visited Paraguay, Tracy has only visited Timor-Leste, Johnnie has only visited Cameroon, Isaac has only visited Zimbabwe, David has only visited Egypt
hypothesis: Tracy didn't visit Timor-Leste