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