Consider the following premises. S_19(a_19) -> w. p_6 -> w. p_6 or U_1(a_19). p_1 -> ~w. forall x_19: U_1(x_19) -> S_19(x_19). Can we infer ~p_1 from them?
 From forall x_19: U_1(x_19) -> S_19(x_19) we can infer U_1(a_19) -> S_19(a_19). From U_1(a_19) -> S_19(a_19), S_19(a_19) -> w we can infer U_1(a_19) -> w. From p_6 -> w, U_1(a_19) -> w, p_6 or U_1(a_19) we can infer w. Finally, from p_1 -> ~w, w we can infer ~p_1. Therefore, the answer is yes.