Consider the following premises. forall x_22: P_22(x_22). forall z: Q(z). forall z: T_1(z). Can we infer T_1(e) -> P_22(a_22) from them?
We cannot infer that from the premises. Therefore the answer is no.