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