Consider the following premises. p_11 -> P(d). p_5 and u. forall y_3: ~P(y_3). Can we infer p_5 and ~p_11 from them?
 From forall y_3: ~P(y_3) we can infer ~P(d). From p_11 -> P(d), ~P(d) we can infer ~p_11. From p_5 and u we can infer p_5. Finally, from p_5, ~p_11 we can infer p_5 and ~p_11. Therefore, the answer is yes.