What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~q_12. r_1. r_2 -> q_12. p_10 <-> r_2.
~r_2. ~q_12 and r_1. r_1 and ~q_12. p_10 -> r_2. r_2 -> p_10.