Consider the following premises. ~s_3. p_11 -> s_3. s_2 -> p_11. Can we infer ~s_2 or s from them?
 From p_11 -> s_3, ~s_3 we can infer ~p_11. From s_2 -> p_11, ~p_11 we can infer ~s_2. Finally, from ~s_2 we can infer ~s_2 or s. Therefore, the answer is yes.