A_Disproof
(<=> (forall ?X (=> (F ?X) (forall ?Y (G ?X ?Y)))) (forall ?Y (=> (F ?Y) (G ?Y ?Y))))