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