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