Consider the following premises. P_21(d_1) or ~q_9. forall x_21: P_21(x_21). P_21(d_1) -> q_9. Can we infer q_9 from them?
 From forall x_21: P_21(x_21) we can infer P_21(d_1). From P_21(d_1) or ~q_9 we can infer q_9 -> P_21(d_1). From q_9 -> P_21(d_1), P_21(d_1) -> q_9 we can infer q_9 <-> P_21(d_1). From q_9 <-> P_21(d_1) we can infer P_21(d_1) -> q_9. Finally, from P_21(d_1) -> q_9, P_21(d_1) we can infer q_9. Therefore, the answer is yes.