premise: Greg has not visited La Salle, Bryan has visited Ames, Dwayne has not visited Prairie du Chien and if Dwayne has visited Prairie du Chien then Nathaniel has visited Hagerstown
hypothesis: Nathaniel has not visited Hagerstown