What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? R_23(a_23) or p. p_8 <-> R_28(a_28). p -> S_23(a_23). forall x_23: R_23(x_23) -> S_23(x_23). forall x_28: ~R_28(x_28).
p_8 -> R_28(a_28). R_28(a_28) -> p_8.