Consider the following premises. ~p. p or r. forall x_9: P_9(x_9). Can we infer r and P_9(a_9) from them?
 From p or r, ~p we can infer r. From forall x_9: P_9(x_9) we can infer P_9(a_9). Finally, from r, P_9(a_9) we can infer r and P_9(a_9). Therefore, the answer is yes.