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