Consider the following premises. p_7 or q_7. q_7 -> w_3. ~p_7. q_2 -> w_3. Can we infer ~w_3 from them?
 From p_7 or q_7, ~p_7 we can infer q_7. From q_7 we can infer q_7 or q_2. Finally, from q_7 -> w_3, q_2 -> w_3, q_7 or q_2 we can infer w_3, which contradicts ~w_3. Therefore, the answer is no.