Th267-l
Premises:
(forall ?X (exists ?Y (F ?X ?Y))) (forall ?X (exists ?Y (G ?X ?Y)))
Conclusion:
(forall ?X (exists ?Y (and (F ?X ?Y) (G ?X ?Y))))
Proof Trace