Consider the following premises. S(e) <-> s. forall z_4: ~S(z_4). Can we infer ~s from them?
 From forall z_4: ~S(z_4) we can infer ~S(e). Finally, from S(e) <-> s, ~S(e) we can infer ~s. Therefore, the answer is yes.