Consider the following premises. p_4 or s_4. p_14 and p_1. ~p_4. Can we infer ~s_4 from them?
 From p_14 and p_1 we can infer p_14. Finally, from p_4 or s_4, ~p_4 we can infer s_4, which contradicts ~s_4. Therefore, the answer is no.