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