premise: Elmer has not visited Cedar City, Marc has visited Escanaba, Terrence has not visited Hodgenville and if Terrence has visited Hodgenville then Benjamin has visited Attleboro
hypothesis: Benjamin has not visited Attleboro