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