Consider the following premises. exists x_2: T(x_2) <-> Q(x_2). forall x_2: Q(x_2) <-> T(x_2). Can we infer forall x_2: ~(Q(x_2) <-> T(x_2)) from them?
That contradicts the premises. Therefore the answer is no.