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