premise: Robert has only visited Vatican City, Ronald has only visited Suriname, Larry has only visited Grenada, Jack has only visited Solomon Islands, John has only visited United Arab Emirates, Christopher has only visited Saudi Arabia, Bob has only visited Lithuania, Tom has only visited Nigeria
hypothesis: Robert didn't visit Vatican City