Consider the following premises. forall y: ~Q(y). u or T(e). forall y: T(y) -> Q(y). ~u or q_2. forall y: Q(y) -> T(y). Can we infer q_1 from them?
We cannot infer that from the premises. Therefore the answer is no.