Consider the following premises. ~p_15. p_15 <-> w. w <-> p. w_3 -> p. w_3 or ~p. Can we infer ~w_3 from them?
 From p_15 <-> w, ~p_15 we can infer ~w. From w <-> p, ~w we can infer ~p. From w_3 or ~p we can infer p -> w_3. From p -> w_3, w_3 -> p we can infer p <-> w_3. Finally, from p <-> w_3, ~p we can infer ~w_3. Therefore, the answer is yes.