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