Consider the following premises. ~s_2. p_15 -> q_15. q_15 -> p_15. s_2 or p_15. Can we infer q_15 from them? If possible, name the inference rules being used at each step.
 From p_15 -> q_15, q_15 -> p_15 we can infer p_15 <-> q_15 via biconditional introduction. From s_2 or p_15, ~s_2 we can infer p_15 via disjunctive syllogism. From p_15 <-> q_15 we can infer p_15 -> q_15 via biconditional elimination. Finally, from p_15 -> q_15, p_15 we can infer q_15 via modus ponens. Therefore, the answer is yes.