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