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