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