Consider the following premises. w_2 -> q_24. q_24 -> w_2. forall x_23: ~R_23(x_23). p_2 -> R_23(a_23). ~w_2. Can we infer p_2 from them?
 From w_2 -> q_24, q_24 -> w_2 we can infer w_2 <-> q_24. From forall x_23: ~R_23(x_23) we can infer ~R_23(a_23). From w_2 <-> q_24, ~w_2 we can infer ~q_24. Finally, from p_2 -> R_23(a_23), ~R_23(a_23) we can infer ~p_2, which contradicts p_2. Therefore, the answer is no.