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