Consider the following premises. t -> r_2. t or ~q_2. Can we infer q_2 -> r_2 from them?
 From t or ~q_2 we can infer q_2 -> t. Finally, from q_2 -> t, t -> r_2 we can infer q_2 -> r_2. Therefore, the answer is yes.