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