premise: Rodney has not visited Red Bluff, Bradley has not visited Susanville, Jerome has visited Brownsville and if Bradley has visited Susanville then Clayton has visited Cleburne
hypothesis: Clayton has not visited Cleburne