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