Consider the following premises. forall x: S(x). P(h) -> t. S(h) -> t. Can we infer t from them?
 From forall x: S(x) we can infer forall x: S(x) or P(x). From forall x: S(x) or P(x) we can infer S(h) or P(h). Finally, from S(h) -> t, P(h) -> t, S(h) or P(h) we can infer t. Therefore, the answer is yes.