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