Consider the following premises. p_6 -> q_6. w_1 -> s. p_11 -> w_1. q_6 -> p_11. p -> p_6. Can we infer p -> s from them?
 From p_11 -> w_1, w_1 -> s we can infer p_11 -> s. From p_6 -> q_6, q_6 -> p_11 we can infer p_6 -> p_11. From p_6 -> p_11, p_11 -> s we can infer p_6 -> s. Finally, from p -> p_6, p_6 -> s we can infer p -> s. Therefore, the answer is yes.