Provide proof of the following argument using prelogic.

Question -1:
1. (x) [Ax > (Bx > Cx)]
2. (3x) (Ax v Dx)
3. (x) ~Dx
4. (x) Bx / (3x) Cx

Question-2:
1. (3x) (Px v Gx) > (x) Hx
2. (3x) (~Hx) / (x) (~Px)