premise: Ronald has not visited Fairfield, Harvey has not visited Stevens Point, Adam has visited Pocatello and if Ronald has not visited Fairfield then Willie has visited Bennington
hypothesis: Willie has not visited Bennington