premise: Pedro has not visited Red Bluff, Clifton has visited Miami Beach, Gilbert has visited Mishawaka and if Gilbert has visited Mishawaka then Clifford has visited Boulder City
hypothesis: Clifford has visited Boulder City