Consider the following premises. p_1 -> t. r_2 -> ~t. p_1. Can we infer r_2 from them?
 From p_1 -> t, p_1 we can infer t. Finally, from r_2 -> ~t, t we can infer ~r_2, which contradicts r_2. Therefore, the answer is no.