premise: Harvey has not visited Guthrie, Steven has visited New Glarus, Mathew has not visited Council Grove and if Mathew has visited Council Grove then Gordon has visited Moundsville
hypothesis: Gordon has visited Moundsville