(VAR X ) (RULES c(b(a(X))) -> a(a(b(b(c(c(X)))))) a(X) -> e b(X) -> e c(X) -> e )