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