premise: Isaac has only visited Papua New Guinea, Dean has only visited Portugal, Adrian has only visited Antigua & Barbuda, Brad has only visited Saint Vincent & the Grenadines, Mark has only visited Zimbabwe, Alfred has only visited Jamaica, Tony has only visited Nauru, Tim has only visited Switzerland, Rick has only visited Denmark, Randy has only visited Monaco, Carl has only visited Ireland
hypothesis: Carl didn't visit Republic of the Congo