Consider the following premises. forall z: P(z) and T(z). q_2 -> ~P(h). Can we infer ~q_2 from them?
 From forall z: P(z) and T(z) we can infer P(h) and T(h). From P(h) and T(h) we can infer P(h). Finally, from q_2 -> ~P(h), P(h) we can infer ~q_2. Therefore, the answer is yes.