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