Consider the following premises. forall x_18: P_18(x_18). w. w -> s. Can we infer ~s from them?
 From forall x_18: P_18(x_18) we can infer P_18(a_18). Finally, from w -> s, w we can infer s, which contradicts ~s. Therefore, the answer is no.