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