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