J266
(=> (forall ?X (forall ?Y (exists ?W (forall ?Z (F ?X ?Y ?W ?Z))))) (forall ?X (forall ?Y (exists ?W (forall ?Z (F ?X ?Y ?W ?Z))))))
Proof Trace