Consider the following premises. r -> p_1. s_2 -> ~p_1. w or r. w -> q_19. u_4. q_19 -> p_1. Can we infer u_4 and ~s_2 from them?
 From w -> q_19, q_19 -> p_1 we can infer w -> p_1. From w -> p_1, r -> p_1, w or r we can infer p_1. From s_2 -> ~p_1, p_1 we can infer ~s_2. Finally, from u_4, ~s_2 we can infer u_4 and ~s_2. Therefore, the answer is yes.