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