Consider the following premises. p or w. ~p. ~p_22. p_22 <-> q_22. Can we infer q_22 from them?
 From p_22 <-> q_22 we can infer q_22 -> p_22. From p or w, ~p we can infer w. Finally, from q_22 -> p_22, ~p_22 we can infer ~q_22, which contradicts q_22. Therefore, the answer is no.