Consider the following premises. r -> w_1. p_6 -> r. p_6 or ~s_1. Can we infer s_1 -> w_1 from them?
 From p_6 -> r, r -> w_1 we can infer p_6 -> w_1. From p_6 or ~s_1 we can infer s_1 -> p_6. Finally, from s_1 -> p_6, p_6 -> w_1 we can infer s_1 -> w_1. Therefore, the answer is yes.