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