premise: Antonio has not visited Parsippany–Troy Hills, Eric has not visited Granite City, Darryl has visited Attleboro and if Antonio has visited Parsippany–Troy Hills then Derek has visited Hazleton
hypothesis: Derek has not visited Hazleton