premise: Nathaniel has not visited Meridian, Todd has not visited Chesapeake, Seth has visited Grand Haven and if Todd has not visited Chesapeake then Keith has visited Stroudsburg
hypothesis: Keith has not visited Stroudsburg