premise: Warren has visited West Palm Beach, Bradley has not visited Calhoun, Angel has visited New York City and if Warren has visited West Palm Beach then Craig has visited Hartsville
hypothesis: Craig has visited Hartsville