premise: Miguel has only visited South Sudan, Tyler has only visited Republic of the Congo, Ruben has only visited Equatorial Guinea, Clarence has only visited Paraguay, Harry has only visited Maldives, Gerald has only visited Tajikistan, Roy has only visited Turkmenistan, Glenn has only visited Zambia, Richard has only visited Luxembourg
hypothesis: Ruben didn't visit São Tomé & Prícipe