premise: Wade has only visited Ethiopia, Jeremy has only visited Papua New Guinea, Henry has only visited Venezuela, Alfred has only visited United States, Harold has only visited Colombia, Michael has only visited Tuvalu, Clarence has only visited Bulgaria, Tony has only visited Angola, Jerome has only visited Croatia
hypothesis: Henry didn't visit Belize