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