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