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