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