premise: Francisco has only visited North Korea, Miguel has only visited Montenegro, Shane has only visited Mauritius, Tony has only visited Papua New Guinea, Pedro has only visited Kenya
hypothesis: Pedro didn't visit Kenya