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