What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~w_3. S_10(a_10) <-> w_3. forall x_10: R(x_10) -> S_10(x_10).
S_10(a_10) -> w_3. w_3 -> S_10(a_10). ~S_10(a_10).