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