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
                                             
                                          
                                          
                                       