Consider the following premises. ~q_6. forall x: T(x) -> Q(x). q_6 -> Q(e). Q(e) -> q_6. Can we infer ~T(e) from them?
 From forall x: T(x) -> Q(x) we can infer T(e) -> Q(e). From Q(e) -> q_6, q_6 -> Q(e) we can infer Q(e) <-> q_6. From Q(e) <-> q_6, ~q_6 we can infer ~Q(e). Finally, from T(e) -> Q(e), ~Q(e) we can infer ~T(e). Therefore, the answer is yes.