YES
(VAR x)
(RULES
a(x) -> b(b(b(b(x))))
c(x) -> b(b(b(x)))
d(x) -> b(b(b(b(b(b(b(b(b(x)))))))))
e(x) -> b(b(b(b(b(x)))))
b(b(b(b(b(b(b(b(b(b(b(b(x)))))))))))) -> b(x)
)