premise: Theodore has only visited Singapore, Neil has only visited Czech Republic, Floyd has only visited Timor-Leste, Richard has only visited Bolivia, Kevin has only visited North Korea
hypothesis: Sidney didn't visit Bolivia