premise: Tyrone has only visited Niger, George has only visited Cameroon, Clifton has only visited San Mmarino, Willard has only visited Norway, Rick has only visited Republic of the Congo
hypothesis: Rick didn't visit Republic of the Congo