What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall z_2: Q_2(z_2) -> S(z_2). Q_2(i) <-> S(i).
Q_2(i) -> S(i). S(i) -> Q_2(i).