Consider the following premises. forall x_19: R_19(x_19) -> S_19(x_19). s -> r_10. s or R_19(a_19). S_19(a_19) -> r_10. t -> ~r_10. Can we infer ~t 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 R_19(a_19) -> S_19(a_19), S_19(a_19) -> r_10 we can infer R_19(a_19) -> r_10. From s -> r_10, R_19(a_19) -> r_10, s or R_19(a_19) we can infer r_10. Finally, from t -> ~r_10, r_10 we can infer ~t. Therefore, the answer is yes.