Consider the following premises. forall z: S(z) or W(z). W(c) -> q_3. ~S(c). Can we infer ~q_3 from them?
 From forall z: S(z) or W(z) we can infer S(c) or W(c). From S(c) or W(c), ~S(c) we can infer W(c). Finally, from W(c) -> q_3, W(c) we can infer q_3, which contradicts ~q_3. Therefore, the answer is no.