MAYBE
(ignored inputs)COMMENT TPDB SRS_Standard/Secret_06_SRS/secr6
Rewrite Rules:
   [ a(b(c(?x))) -> c(c(c(b(b(b(a(a(a(?x))))))))),
     c(b(?x)) -> a(a(a(?x))),
     a(?x) -> ?x,
     b(?x) -> ?x,
     c(?x) -> ?x ]
Apply Direct Methods...
Inner CPs:
   [ a(b(a(a(a(?x_1))))) = c(c(c(b(b(b(a(a(a(b(?x_1)))))))))),
     a(c(?x)) = c(c(c(b(b(b(a(a(a(?x))))))))),
     a(b(?x_4)) = c(c(c(b(b(b(a(a(a(?x_4))))))))),
     c(?x_3) = a(a(a(?x_3))) ]
Outer CPs:
   [ c(c(c(b(b(b(a(a(a(?x))))))))) = b(c(?x)),
     a(a(a(?x_1))) = b(?x_1) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
938.trs: Failure(unknown CR)
(0 msec.)