Consider the following premises. ~R_21(a_21) <-> p_4. forall x_21: R_21(x_21) <-> S_21(x_21). ~q_18. S_21(a_21) <-> q_18. Can we infer p from them?
We cannot infer that from the premises. Therefore the answer is no.