Proving ∀p.∃q.F(p, q) ⊢ ¬∀q.∀k.(F(b,q) → ¬F(q, k)) with first order logic (predicate logic)/natural deduction

Question

How do you prove the following logical proof using natural deduction with the first order logic rules.

I have tried to prove it but I have hit roadblocks and I would