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