MAYBE
(ignored inputs)COMMENT TPDB SRS_Standard/Zantema_04/z068
Rewrite Rules:
   [ C(?x) -> c(?x),
     c(c(?x)) -> ?x,
     b(b(?x)) -> B(?x),
     B(B(?x)) -> b(?x),
     c(B(c(b(c(?x))))) -> B(c(b(c(B(c(b(?x))))))),
     b(B(?x)) -> ?x,
     B(b(?x)) -> ?x,
     c(C(?x)) -> ?x,
     C(c(?x)) -> ?x ]
Apply Direct Methods...
Inner CPs:
   [ c(B(c(b(c(B(c(b(?x_4)))))))) = B(c(b(c(?x_4)))),
     c(?x_7) = C(?x_7),
     b(?x_5) = B(B(?x_5)),
     B(?x_6) = b(b(?x_6)),
     c(B(c(b(?x_1)))) = B(c(b(c(B(c(b(c(?x_1)))))))),
     c(B(c(b(?x_7)))) = B(c(b(c(B(c(b(C(?x_7)))))))),
     b(b(?x_3)) = B(?x_3),
     b(?x_6) = b(?x_6),
     B(B(?x_2)) = b(?x_2),
     B(?x_5) = B(?x_5),
     c(c(?x)) = ?x,
     c(?x_8) = c(?x_8),
     C(?x_1) = c(?x_1),
     C(B(c(b(c(B(c(b(?x_4)))))))) = B(c(b(c(?x_4)))),
     C(?x_7) = C(?x_7),
     c(?x) = c(?x),
     b(B(?x)) = B(b(?x)),
     B(b(?x)) = b(B(?x)),
     c(B(c(b(B(c(b(c(B(c(b(?x))))))))))) = B(c(b(c(B(c(b(B(c(b(c(?x))))))))))) ]
Outer CPs:
   [ c(c(?x_8)) = ?x_8 ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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