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