Consider the following premises. forall y_3: S(y_3) <-> U(y_3). ~U(h). Can we infer ~S(h) or w from them?
 From forall y_3: S(y_3) <-> U(y_3) we can infer S(h) <-> U(h). From S(h) <-> U(h), ~U(h) we can infer ~S(h). Finally, from ~S(h) we can infer ~S(h) or w. Therefore, the answer is yes.