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