NRV716
Premises:
(exists ?X (or (F ?X) (G ?X)))
Conclusion:
(or (exists ?X (F ?X)) (exists ?X (G ?X)))
Proof Trace