Consider the following premises. ~s_2. s_2 <-> q_22. p_4 or q_3. ~p_4. Can we infer ~q_22 and q_3 from them?
 From s_2 <-> q_22 we can infer q_22 -> s_2. From q_22 -> s_2, ~s_2 we can infer ~q_22. From p_4 or q_3, ~p_4 we can infer q_3. Finally, from ~q_22, q_3 we can infer ~q_22 and q_3. Therefore, the answer is yes.