premise: Corey has not visited Lexington, Brandon has not visited Crystal City, Milton has visited Williamsport and if Corey has not visited Lexington then Vincent has visited New Hampshire
hypothesis: Vincent has not visited New Hampshire