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