premise: Cody has not visited McPherson, Sidney has visited Nags Head, Victor has visited Council Grove and if Victor has visited Council Grove then Herbert has visited Bessemer
hypothesis: Herbert has not visited Bessemer