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