Consider the following premises. w_2 -> r_3. ~r_3. w_2 or ~r_3. r_1 or w_2. ~r_1 or r_14. Can we infer r_14 from them?
 From r_1 or w_2, ~r_1 or r_14 we can infer w_2 or r_14. From w_2 or ~r_3 we can infer r_3 -> w_2. From r_3 -> w_2, w_2 -> r_3 we can infer r_3 <-> w_2. From r_3 <-> w_2, ~r_3 we can infer ~w_2. Finally, from w_2 or r_14, ~w_2 we can infer r_14. Therefore, the answer is yes.