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