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