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