What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall x_22: Q_4(x_22) <-> S_22(x_22). ~S_2(j). ~S_22(b_3). forall y: P_4(y) <-> S_2(y).
~S_2(j) and ~S_22(b_3). ~S_22(b_3) and ~S_2(j). forall x_22: Q_4(x_22) -> S_22(x_22). forall y: P_4(y) -> S_2(y). forall x_22: S_22(x_22) -> Q_4(x_22). forall y: S_2(y) -> P_4(y).