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