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