What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall z: T(z) -> T_2(z). T_2(g) -> q_1. q_1 -> T(g).
T_2(g) -> T(g).