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