premise: Ronnie has only visited Croatia, Jim has only visited Sudan, Hector has only visited Somalia, Clifton has only visited Bosnia & Herzegovinia, Raymond has only visited Timor-Leste
hypothesis: Jim didn't visit Sudan