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