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