Consider the following premises. p_11 <-> r. w_4 -> p_11. p_11 -> w_4. Can we infer r -> w_4 from them?
 From p_11 <-> r we can infer r -> p_11. From p_11 -> w_4, w_4 -> p_11 we can infer p_11 <-> w_4. From p_11 <-> w_4 we can infer p_11 -> w_4. Finally, from r -> p_11, p_11 -> w_4 we can infer r -> w_4. Therefore, the answer is yes.