What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~p. p_22 <-> p. ~S_14(a_14). forall x_14: R_14(x_14) -> S_14(x_14).
~p and ~S_14(a_14). ~S_14(a_14) and ~p. p_22 -> p. p -> p_22. ~p_22.