Consider the following premises. q_8 -> r_2. r_2 -> p_8. p_8 -> q_8. w -> p_8. Can we infer w -> r_2 from them?
 From p_8 -> q_8, q_8 -> r_2 we can infer p_8 -> r_2. From r_2 -> p_8, p_8 -> r_2 we can infer r_2 <-> p_8. From r_2 <-> p_8 we can infer p_8 -> r_2. Finally, from w -> p_8, p_8 -> r_2 we can infer w -> r_2. Therefore, the answer is yes.