Consider the following premises. forall x_14: R_14(x_14) -> S_14(x_14). t -> R_14(d). ~S_14(d). Can we infer t from them?
 From forall x_14: R_14(x_14) -> S_14(x_14) we can infer R_14(d) -> S_14(d). From R_14(d) -> S_14(d), ~S_14(d) we can infer ~R_14(d). Finally, from t -> R_14(d), ~R_14(d) we can infer ~t, which contradicts t. Therefore, the answer is no.