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