premise: Douglas has not visited Saratoga Springs, Casey has not visited Winsted, Edgar has visited Astoria and if Douglas has not visited Saratoga Springs then Bradley has not visited Bakersfield
hypothesis: Bradley has not visited Bakersfield