premise: Mike has only visited Saudi Arabia, Max has only visited Netherlands, Thomas has only visited Turkey, Johnnie has only visited Guatemala, Ricky has only visited Gabon, Alan has only visited Bangladesh
hypothesis: Johnnie didn't visit Guatemala