premise: Claude has only visited South Sudan, James has only visited Botswana, Carl has only visited Trinidad & Tobago, Bob has only visited Croatia, Ian has only visited China, Jimmy has only visited Costa Rica
hypothesis: Jimmy didn't visit Costa Rica