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