Consider the following premises. s_4 -> u. p_6 -> q. R_24(a_24) <-> u. forall x_24: ~R_24(x_24). q -> s_4. Can we infer p_6 from them?
 From forall x_24: ~R_24(x_24) we can infer ~R_24(a_24). From R_24(a_24) <-> u, ~R_24(a_24) we can infer ~u. From p_6 -> q, q -> s_4 we can infer p_6 -> s_4. From s_4 -> u, ~u we can infer ~s_4. Finally, from p_6 -> s_4, ~s_4 we can infer ~p_6, which contradicts p_6. Therefore, the answer is no.