Consider the following premises. S_8(a_8) -> r_1. forall x_8: R_8(x_8) or S_8(x_8). R_8(a_8) -> q_1. q_1 -> r_1. Can we infer r_1 from them?
 From forall x_8: R_8(x_8) or S_8(x_8) we can infer R_8(a_8) or S_8(a_8). From R_8(a_8) -> q_1, q_1 -> r_1 we can infer R_8(a_8) -> r_1. Finally, from R_8(a_8) -> r_1, S_8(a_8) -> r_1, R_8(a_8) or S_8(a_8) we can infer r_1. Therefore, the answer is yes.