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