Consider the following premises. p_22 <-> q. R_14(a_14) <-> q_7. ~q. forall x_14: ~R_14(x_14). Can we infer ~p_22 and ~q_7 from them?
 From p_22 <-> q, ~q we can infer ~p_22. From forall x_14: ~R_14(x_14) we can infer ~R_14(a_14). From R_14(a_14) <-> q_7, ~R_14(a_14) we can infer ~q_7. Finally, from ~p_22, ~q_7 we can infer ~p_22 and ~q_7. Therefore, the answer is yes.