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