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