Consider the following premises. p_1 -> R_10(a_10). p_1 <-> t. forall x_10: ~R_10(x_10). Can we infer ~t from them?
 From forall x_10: ~R_10(x_10) we can infer ~R_10(a_10). From p_1 -> R_10(a_10), ~R_10(a_10) we can infer ~p_1. Finally, from p_1 <-> t, ~p_1 we can infer ~t. Therefore, the answer is yes.