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