premise: Johnny has only visited Greece, Shane has only visited Fiji, Daniel has only visited Eritrea, Norman has only visited Czech Republic, Steve has only visited United States, Gary has only visited Botswana, Theodore has only visited Australia, Gilbert has only visited Djibouti, Nathan has only visited Suriname
hypothesis: Theodore didn't visit Romania