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