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