Consider the following premises. w_4 -> p_11. forall x_10: ~R_10(x_10). p_11 -> w_4. R_10(a_10) <-> w_4. Can we infer p_11 from them?
 From p_11 -> w_4, w_4 -> p_11 we can infer p_11 <-> w_4. From forall x_10: ~R_10(x_10) we can infer ~R_10(a_10). From R_10(a_10) <-> w_4, ~R_10(a_10) we can infer ~w_4. Finally, from p_11 <-> w_4, ~w_4 we can infer ~p_11, which contradicts p_11. Therefore, the answer is no.