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