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