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