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