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