Consider the following premises. p_16 <-> p_1. s <-> p_16. s -> p_1. Can we infer s -> p_16 from them?
 From p_16 <-> p_1 we can infer p_1 -> p_16. From s <-> p_16 we can infer p_16 -> s. Finally, from s -> p_1, p_1 -> p_16 we can infer s -> p_16. Therefore, the answer is yes.