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