premise: Enrique has not visited New Haven, Gene has not visited Grants, Willie has visited Coulee Dam and if Gene has not visited Grants then Benjamin has visited Newburyport
hypothesis: Benjamin has not visited Newburyport