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