Consider the following premises. ~q_1. q_1 <-> q_8. q_8 <-> p_2. Can we infer p_2 from them? If possible, name the inference rules being used at each step.
 From q_1 <-> q_8, ~q_1 we can infer ~q_8 via biconditional elimination. From q_8 <-> p_2 we can infer p_2 -> q_8 via biconditional elimination. Finally, from p_2 -> q_8, ~q_8 we can infer ~p_2 via modus tollens, which contradicts p_2. Therefore, the answer is no.