Consider the following premises. ~R_15(a_15). forall x_15: R_15(x_15) or S_15(x_15). ~S_15(a_15). Can we infer p from them?
 From forall x_15: R_15(x_15) or S_15(x_15) we can infer R_15(a_15) or S_15(a_15). From R_15(a_15) or S_15(a_15), ~R_15(a_15) we can infer S_15(a_15). From S_15(a_15) we can infer S_15(a_15) or p. Finally, from S_15(a_15) or p, ~S_15(a_15) we can infer p. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.