Consider the following premises. p_9 -> w. p_9 or ~t_2. w -> t_2. Can we infer t_2 -> w from them?
 From p_9 or ~t_2 we can infer t_2 -> p_9. Finally, from t_2 -> p_9, p_9 -> w we can infer t_2 -> w. Therefore, the answer is yes.