premise: Lewis has not visited Pascagoula, Nathaniel has not visited Shiprock, Cory has visited Eastpointe and if Nathaniel has not visited Shiprock then Ian has not visited Glendive
hypothesis: Ian has not visited Glendive