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