Consider the following premises. q. forall z: T(z) or P_2(z). forall z: ~T(z). Can we infer P_2(a_9) and q from them?
 From forall z: T(z) or P_2(z), forall z: ~T(z) we can infer forall z: P_2(z). From forall z: P_2(z) we can infer P_2(a_9). Finally, from P_2(a_9), q we can infer P_2(a_9) and q. Therefore, the answer is yes.