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