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