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