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