Consider the following premises. forall z: T(z) and U(z). p. Can we infer p and T(b) from them? If possible, name the inference rules being used at each step.
 From forall z: T(z) and U(z) we can infer T(b) and U(b) via universal instantiation. From T(b) and U(b) we can infer T(b) via simplification. Finally, from p, T(b) we can infer p and T(b) via conjunction. Therefore, the answer is yes.