Consider the following premises. s_2. q or q_4. ~q. s_2 -> s. Can we infer q_4 and s from them? If possible, name the inference rules being used at each step.
 From s_2 -> s, s_2 we can infer s via modus ponens. From q or q_4, ~q we can infer q_4 via disjunctive syllogism. Finally, from q_4, s we can infer q_4 and s via conjunction. Therefore, the answer is yes.