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