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