premise: Nelson has only visited Norway, Leon has only visited Saint Vincent & the Grenadines, Jack has only visited Kiribati, Kevin has only visited Iceland, Tyrone has only visited Democratic Republic of the Congo
hypothesis: Barry didn't visit Democratic Republic of the Congo