Consider the following premises. r_2 <-> w. p_6 -> r_2. p_6 or w. r_2 -> t. Can we infer t from them? If possible, name the inference rules being used at each step.
 From r_2 <-> w we can infer w -> r_2 via biconditional elimination. From p_6 -> r_2, w -> r_2, p_6 or w we can infer r_2 via disjunction elimination. Finally, from r_2 -> t, r_2 we can infer t via modus ponens. Therefore, the answer is yes.