(VAR F G x y )
(RULES 
        der() -> 
        der() -> 
        der() -> 
        der() -> 
        der() -> 
        der() -> 
        der() -> 
        
)