Consider the following premises. t -> ~P_18(a_18). forall x_18: P_18(x_18). Can we infer ~t or q from them?
 From forall x_18: P_18(x_18) we can infer P_18(a_18). From t -> ~P_18(a_18), P_18(a_18) we can infer ~t. Finally, from ~t we can infer ~t or q. Therefore, the answer is yes.