RISC JKU
Nested Quantifiers

Prove

(G) [Graphics:indexgr33.gif]

under the assumption(s)

(F1) [Graphics:indexgr34.gif],

(F2) [Graphics:indexgr35.gif],

(F3) [Graphics:indexgr36.gif].

We prove (G) by natural deduction.