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