What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall y_2: T(y_2) -> W_3(y_2). W_3(c) -> q_11. T(c) <-> q_11.
T(c) -> q_11. q_11 -> T(c).