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