Consider the following premises. u. R_25(b) or q_15. p_5 -> ~q_15. forall x_25: ~R_25(x_25). Can we infer p_5 from them?
 From forall x_25: ~R_25(x_25) we can infer ~R_25(b). From R_25(b) or q_15, ~R_25(b) we can infer q_15. Finally, from p_5 -> ~q_15, q_15 we can infer ~p_5, which contradicts p_5. Therefore, the answer is no.