(RULES
a a  -> b c ,
b b  -> c d ,
c c  -> d d d ,
d c  -> b f ,
d d d  -> a c , 
f f  -> f b )