Consider the following premises. q <-> q_17. ~q_17. t or w. ~t. Can we infer ~q and w from them?
 From q <-> q_17, ~q_17 we can infer ~q. From t or w, ~t we can infer w. Finally, from ~q, w we can infer ~q and w. Therefore, the answer is yes.