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