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