Consider the following premises. P(g) -> ~s. s. forall y_3: P(y_3) <-> T(y_3). Can we infer ~T(g) from them?
 From forall y_3: P(y_3) <-> T(y_3) we can infer P(g) <-> T(g). From P(g) -> ~s, s we can infer ~P(g). Finally, from P(g) <-> T(g), ~P(g) we can infer ~T(g). Therefore, the answer is yes.