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