premise: Cody has not visited West Hartford, Derrick has not visited Great Bend, Brent has visited Fond du Lac and if Cody has not visited West Hartford then Dan has visited New Market
hypothesis: Dan has visited New Market