V.7E19
Premises:
(exists ?Y (and (forall ?Z (=> (F ?Z ?Y) (F ?Z (A ?X)))) (F ?X ?Y)))
Conclusion:
(forall ?X (F ?X (A ?X)))
Proof Trace