What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p -> w. q_6 -> p. S_2(i) <-> w. forall y: ~S_2(y). u_1 -> q_6.
q_6 -> w. u_1 -> p. S_2(i) -> w. w -> S_2(i).