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