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