Th267-g
Premises:
(exists ?Y (F ?Y)) (forall ?X (=> (F ?X) (forall ?Y (G ?X ?Y))))
Conclusion:
(forall ?Y (G ?Y ?Y))
Proof Trace