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