What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall x_24: R_24(x_24) -> S_24(x_24). ~u. s. u or ~S_24(a_24).
~S_24(a_24). ~u and s. s and ~u. S_24(a_24) -> u.