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