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