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