KM160-12
(=> (forall ?Y (G (B ?Y ?Y))) (forall ?Y (forall ?Z (G (B ?Y ?Z)))))
Proof Trace