premise: Tom has only visited Mozambique, Harold has only visited Syria, Derek has only visited Spain, Justin has only visited Palestine, Curtis has only visited Seychelles, Floyd has only visited Gambia, Ruben has only visited Laos, Walter has only visited United Arab Emirates, Hector has only visited Iran, Cody has only visited Turkmenistan
hypothesis: Derek didn't visit Spain