What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? u -> r_3. p_12 <-> r_3. u or p_12. p_4.
p_12 -> r_3. r_3 -> p_12.