premise: Casey has not visited Hays, Bradley has not visited Red Bluff, Charles has visited Beaverton and if Bradley has not visited Red Bluff then Douglas has visited Bloomsburg
hypothesis: Douglas has not visited Bloomsburg