MAYBE
(ignored inputs)COMMENT TPDB SRS_Standard/Secret_05_SRS/matchbox1
Rewrite Rules:
   [ r(e(?x)) -> w(r(?x)),
     i(t(?x)) -> e(r(?x)),
     e(w(?x)) -> r(i(?x)),
     t(e(?x)) -> r(e(?x)),
     w(r(?x)) -> i(t(?x)),
     e(r(?x)) -> e(w(?x)),
     r(i(t(e(r(?x))))) -> e(w(r(i(t(e(?x)))))) ]
Apply Direct Methods...
Inner CPs:
   [ r(r(i(?x_2))) = w(r(w(?x_2))),
     r(e(w(?x_5))) = w(r(r(?x_5))),
     i(r(e(?x_3))) = e(r(e(?x_3))),
     e(i(t(?x_4))) = r(i(r(?x_4))),
     t(r(i(?x_2))) = r(e(w(?x_2))),
     t(e(w(?x_5))) = r(e(r(?x_5))),
     w(w(r(?x))) = i(t(e(?x))),
     w(e(w(r(i(t(e(?x_6))))))) = i(t(i(t(e(r(?x_6)))))),
     e(w(r(?x))) = e(w(e(?x))),
     e(e(w(r(i(t(e(?x_6))))))) = e(w(i(t(e(r(?x_6)))))),
     r(i(t(e(w(r(?x)))))) = e(w(r(i(t(e(e(?x))))))),
     r(e(r(e(r(?x_6))))) = e(w(r(i(t(e(?x_6)))))),
     r(i(r(e(r(?x_6))))) = e(w(r(i(t(e(?x_6)))))),
     r(i(t(e(w(?x_5))))) = e(w(r(i(t(e(?x_5)))))),
     r(i(t(e(e(w(r(i(t(e(?x)))))))))) = e(w(r(i(t(e(i(t(e(r(?x)))))))))) ]
Outer CPs:
   [  ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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