premise: Karl has only visited South Korea, Manuel has only visited North Korea, Frank has only visited Papua New Guinea, Ryan has only visited Republic of the Congo, Virgil has only visited Uruguay, Luis has only visited Denmark
hypothesis: Karl didn't visit South Korea