Nested Quantifiers
Prove
(G)
under the assumption(s)
(F1)
,
(F2)
,
(F3)
.
We prove (G) by natural deduction.