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