Consider the following premises. forall x_9: U(x_9) -> Q_9(x_9). forall x_9: ~Q_9(x_9). U(h). Can we infer t from them?
 From forall x_9: U(x_9) -> Q_9(x_9), forall x_9: ~Q_9(x_9) we can infer forall x_9: ~U(x_9). From forall x_9: ~U(x_9) we can infer ~U(h). From U(h) we can infer U(h) or t. Finally, from U(h) or t, ~U(h) we can infer t. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.