When you find that the conclusion is the structure of R→P, and it seems difficult to prove it, use CP rule.

Is to put r on the left part, as a condition, and finally infer p.