Consider the following premises. ~p_13. forall x_28: R_28(x_28) -> S_28(x_28). S_28(a_28) -> r_19. p_13 or R_28(a_28). Can we infer r_19 or p_3 from them?
 From forall x_28: R_28(x_28) -> S_28(x_28) we can infer R_28(a_28) -> S_28(a_28). From R_28(a_28) -> S_28(a_28), S_28(a_28) -> r_19 we can infer R_28(a_28) -> r_19. From p_13 or R_28(a_28), ~p_13 we can infer R_28(a_28). From R_28(a_28) -> r_19, R_28(a_28) we can infer r_19. Finally, from r_19 we can infer r_19 or p_3. Therefore, the answer is yes.