T266b
(<= (forall ?X (=> (and (F ?X) (exists ?Y (G ?X ?Y))) (exists ?Y (and (H ?X ?Y) (forall ?Z (J ?X ?Y ?Z)))))) (forall ?X (forall ?Y (exists ?W (forall ?Z (=> (and (F ?X) (G ?X ?Y)) (and (H ?X ?W) (J ?X ?W ?Z))))))))
Proof Trace