Consider the following premises. p_3 -> w_2. ~w_2. t -> p_3. p_3 -> t. Can we infer ~t from them?
 From p_3 -> w_2, ~w_2 we can infer ~p_3. From p_3 -> t, t -> p_3 we can infer p_3 <-> t. Finally, from p_3 <-> t, ~p_3 we can infer ~t. Therefore, the answer is yes.