Consider the following premises. ~S(h) -> q. forall x_14: S(x_14) -> S_14(x_14). ~S_14(h). Can we infer ~q from them?
 From forall x_14: S(x_14) -> S_14(x_14) we can infer S(h) -> S_14(h). From S(h) -> S_14(h), ~S_14(h) we can infer ~S(h). Finally, from ~S(h) -> q, ~S(h) we can infer q, which contradicts ~q. Therefore, the answer is no.