Consider the following premises. p -> q. Q(d) <-> q. forall x_1: ~Q(x_1). Can we infer ~p from them?
 From forall x_1: ~Q(x_1) we can infer ~Q(d). From Q(d) <-> q, ~Q(d) we can infer ~q. Finally, from p -> q, ~q we can infer ~p. Therefore, the answer is yes.