premise: Marcus has only visited Tuvalu, Justin has only visited São Tomé & Prícipe, Gary has only visited Belarus, Charlie has only visited Norway, Francisco has only visited Kenya, Mario has only visited Pakistan, Miguel has only visited North Korea, James has only visited Bangladesh, Cecil has only visited Nauru, Peter has only visited Hungary
hypothesis: Mario didn't visit Pakistan