premise: Carl has only visited Ghana, Seth has only visited Tuvalu, Fernando has only visited Kosovo, Douglas has only visited Botswana, Rodney has only visited Italy, Edwin has only visited Tajikistan, Jeff has only visited Sudan, Francis has only visited São Tomé & Prícipe, Troy has only visited Kyrgyzstan, Johnny has only visited Nepal, Gregory has only visited Benin
hypothesis: Troy didn't visit Kyrgyzstan