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
![Complete the following derivation 1 xyzGaxbyzHxyz Premise 2 xyHxyb Premise n xyzGaxbyz Goal class=](https://us-static.z-dn.net/files/d85/a9086c4d2e8ab5cc90bf95d5be615dfe.png)