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