premise: Willard has not visited Herkimer, Sidney has visited Hot Springs, Raymond has visited Oregon City and if Raymond has visited Oregon City then Benjamin has visited Pawtucket
hypothesis: Benjamin has not visited Pawtucket