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