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