premise: Terrence has only visited Malawi, Antonio has only visited France, Scott has only visited Honduras, Jerry has only visited Thailand, Mario has only visited Tuvalu, Nathan has only visited Poland
hypothesis: Mario didn't visit Tonga