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