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