Consider the following premises. u -> ~P(g_1). p_1 -> P(g_1). forall y_3: Q(y_3) <-> P(y_3). Q(g_1) or p_1. Can we infer ~q from them?
We cannot infer that from the premises. Therefore the answer is no.