Consider the following premises. p_12 or ~q. w_3 <-> p_12. ~p_8. p_8 <-> w_3. Can we infer q from them?
 From p_12 or ~q we can infer q -> p_12. From p_8 <-> w_3, ~p_8 we can infer ~w_3. From w_3 <-> p_12, ~w_3 we can infer ~p_12. Finally, from q -> p_12, ~p_12 we can infer ~q, which contradicts q. Therefore, the answer is no.