Consider the following premises. ~S_1(d_3) <-> q_1. ~s. S_21(d_3) <-> s. forall x_21: S_1(x_21) <-> S_21(x_21). Can we infer q_1 from them?
 From forall x_21: S_1(x_21) <-> S_21(x_21) we can infer S_1(d_3) <-> S_21(d_3). From S_21(d_3) <-> s, ~s we can infer ~S_21(d_3). From S_1(d_3) <-> S_21(d_3), ~S_21(d_3) we can infer ~S_1(d_3). From ~S_1(d_3) <-> q_1 we can infer ~S_1(d_3) -> q_1. Finally, from ~S_1(d_3) -> q_1, ~S_1(d_3) we can infer q_1. Therefore, the answer is yes.