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