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