YES
TRS:
 {      a(X) -> e(),
        b(X) -> e(),
        c(X) -> e(),
  c(b(a(X))) -> a(a(b(b(c(c(X))))))}
 DP:
  Strict:
   {c#(b(a(X))) -> a#(a(b(b(c(c(X)))))),
    c#(b(a(X))) -> a#(b(b(c(c(X))))),
    c#(b(a(X))) -> b#(b(c(c(X)))),
    c#(b(a(X))) -> b#(c(c(X))),
    c#(b(a(X))) -> c#(X),
    c#(b(a(X))) -> c#(c(X))}
  Weak:
  {      a(X) -> e(),
         b(X) -> e(),
         c(X) -> e(),
   c(b(a(X))) -> a(a(b(b(c(c(X))))))}
  EDG:
   {(c#(b(a(X))) -> c#(X), c#(b(a(X))) -> c#(c(X)))
    (c#(b(a(X))) -> c#(X), c#(b(a(X))) -> c#(X))
    (c#(b(a(X))) -> c#(X), c#(b(a(X))) -> b#(c(c(X))))
    (c#(b(a(X))) -> c#(X), c#(b(a(X))) -> b#(b(c(c(X)))))
    (c#(b(a(X))) -> c#(X), c#(b(a(X))) -> a#(b(b(c(c(X))))))
    (c#(b(a(X))) -> c#(X), c#(b(a(X))) -> a#(a(b(b(c(c(X)))))))}
   SCCS:
    Scc:
     {c#(b(a(X))) -> c#(X)}
    SCC:
     Strict:
      {c#(b(a(X))) -> c#(X)}
     Weak:
     {      a(X) -> e(),
            b(X) -> e(),
            c(X) -> e(),
      c(b(a(X))) -> a(a(b(b(c(c(X))))))}
     SPSC:
      Simple Projection:
       pi(c#) = 0
      Strict:
       {}
      Qed