Consider the following premises. ~p_1. p_1 <-> q_4. s_4 -> q_4. ~s_4 -> q_3. Can we infer ~q_3 from them?
 From p_1 <-> q_4, ~p_1 we can infer ~q_4. From s_4 -> q_4, ~q_4 we can infer ~s_4. Finally, from ~s_4 -> q_3, ~s_4 we can infer q_3, which contradicts ~q_3. Therefore, the answer is no.