Consider the following premises. ~t. t and q. forall x: R(x). Can we infer p and R(a_30) from them? If possible, name the inference rules being used at each step.
 From forall x: R(x) we can infer R(a_30) via universal instantiation. From t and q we can infer t via simplification. From t we can infer t or p via addition. From t or p, ~t we can infer p via disjunctive syllogism. Finally, from p, R(a_30) we can infer p and R(a_30) via conjunction. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.