Consider the following premises. t <-> R_14(a_14). forall x_14: ~R_14(x_14). w. Can we infer ~t and w from them?
 From forall x_14: ~R_14(x_14) we can infer ~R_14(a_14). From t <-> R_14(a_14), ~R_14(a_14) we can infer ~t. Finally, from ~t, w we can infer ~t and w. Therefore, the answer is yes.