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