Complete the following derivation:

1. (∀x)(∀y)(∀z)(G(a,x,b,y,z)→H(x,y,z)) Premise
2. (∃x)(∃y)¬H(x,y,b) Premise
⋮
n. (∃x)(∃y)(∃z)¬G(a,x,b,y,z) Goal