premise: Vernon has visited Lower Southampton, Ivan has not visited Machias, Casey has visited Coeur d’Alene and if Vernon has visited Lower Southampton then Russell has visited Hackensack
hypothesis: Russell has not visited Hackensack