What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? u_3 -> q_6. forall x_20: R_20(x_20) -> S_20(x_20). u_3 <-> p. q_6 -> R_20(a_20).
u_3 -> R_20(a_20). u_3 -> p. p -> u_3.