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