premise: David has only visited Slovenia, Ruben has only visited Ireland, Cory has only visited Qatar, Jimmie has only visited Seychelles, Clyde has only visited Croatia, Albert has only visited Bolivia
hypothesis: Bob didn't visit Slovenia