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