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