premise: Kyle has only visited Albania, Gary has only visited Democratic Republic of the Congo, Leon has only visited Venezuela, Byron has only visited Madagascar, Ryan has only visited Portugal, Erik has only visited Philippines, Antonio has only visited Grenada
hypothesis: Ryan didn't visit Pakistan