T2-250
(<=> (forall ?X (forall ?Y (forall ?Z (F ?X ?Y ?Z)))) (not (exists ?X (exists ?Y (exists ?Z (not (F ?X ?Y ?Z)))))))
Proof Trace