Consider the following premises. ~t or p. forall x_8: ~R_8(x_8). t or R_8(a_8). Can we infer ~p from them?
 From forall x_8: ~R_8(x_8) we can infer ~R_8(a_8). From t or R_8(a_8), ~t or p we can infer R_8(a_8) or p. Finally, from R_8(a_8) or p, ~R_8(a_8) we can infer p, which contradicts ~p. Therefore, the answer is no.