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