Consider the following premises. p_7 and u_2. q and p. Can we infer p_7 from them? If possible, name the inference rules being used at each step.
 From q and p we can infer q via simplification. Finally, from p_7 and u_2 we can infer p_7 via simplification. Therefore, the answer is yes.