Consider the following premises. p_9 or ~r. r_1 -> r. p_9 -> r_1. Can we infer r -> r_1 from them?
 From p_9 or ~r we can infer r -> p_9. Finally, from r -> p_9, p_9 -> r_1 we can infer r -> r_1. Therefore, the answer is yes.