Consider the following premises. q -> q_16. p. ~w. w <-> q_16. Can we infer q from them?
 From w <-> q_16, ~w we can infer ~q_16. Finally, from q -> q_16, ~q_16 we can infer ~q, which contradicts q. Therefore, the answer is no.