Consider the following premises. w -> s_1. w. s_1 -> u. u -> q_1. p. Can we infer q_1 and p from them? If possible, name the inference rules being used at each step.
 From w -> s_1, w we can infer s_1 via modus ponens. From s_1 -> u, s_1 we can infer u via modus ponens. From u -> q_1, u we can infer q_1 via modus ponens. Finally, from q_1, p we can infer q_1 and p via conjunction. Therefore, the answer is yes.