Consider the following premises. forall x_9: ~P_9(x_9). forall x_9: P_9(x_9) or T_4(x_9). forall x_9: ~S(x_9). forall x_9: S(x_9) or T(x_9). Can we infer ~T_4(j_4) from them?
That contradicts the premises. Therefore the answer is no.