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