Consider the following premises. U(a_10) or ~q_2. forall y: P(y) -> U(y). q_2 or P(a_10). Can we infer U(a_10) from them?
 From forall y: P(y) -> U(y) we can infer P(a_10) -> U(a_10). From U(a_10) or ~q_2 we can infer q_2 -> U(a_10). Finally, from q_2 -> U(a_10), P(a_10) -> U(a_10), q_2 or P(a_10) we can infer U(a_10). Therefore, the answer is yes.