Consider the following premises. u -> p. p_6 -> p. u_2. u_2 -> s_3. p_6 or u. Can we infer ~p from them?
 From u_2 -> s_3, u_2 we can infer s_3. Finally, from p_6 -> p, u -> p, p_6 or u we can infer p, which contradicts ~p. Therefore, the answer is no.