premise: Everyone has visited Iceland, Luxembourg, Benin, Vietnam, Malaysia, Slovakia, Portugal, Lithuania, Japan, Saint Kitts & Nevis, Bolivia, Spain, Tuvalu and Paraguay
hypothesis: An individual didn't visit Tuvalu and Paraguay