premise: Salvador has not visited Bessemer, Darren has not visited Columbus, Roland has visited Chester and if Salvador has visited Bessemer then Gregory has visited Pompano Beach
hypothesis: Gregory has not visited Pompano Beach