premise: Philip has only visited Zimbabwe, Jim has only visited Malawi, Herman has only visited Japan, Leroy has only visited Tuvalu, Kelly has only visited El Salvador, Ross has only visited Poland
hypothesis: Kelly didn't visit Grenada