Consider the following premises. q_1 -> S(f_4). forall x_6: ~Q_6(x_6). forall x_6: S(x_6) -> Q_6(x_6). Can we infer q_1 from them?
 From forall x_6: S(x_6) -> Q_6(x_6), forall x_6: ~Q_6(x_6) we can infer forall x_6: ~S(x_6). From forall x_6: ~S(x_6) we can infer ~S(f_4). Finally, from q_1 -> S(f_4), ~S(f_4) we can infer ~q_1, which contradicts q_1. Therefore, the answer is no.