premise: Benjamin has not visited Waco, Derek has visited South Dakota, Leslie has visited Williamsburg and if Derek has visited South Dakota then Willard has visited Hodgenville
hypothesis: Willard has not visited Hodgenville