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