MAYBE
(ignored inputs)COMMENT doi:10.1007/978-3-540-89439-1_34 [31] Figures 3 and 4
Rewrite Rules:
   [ .(?R,.(?T,?U)) -> .(.(?R,?T),?U),
     .(?R,id) -> ?R,
     .(id,?R) -> ?R,
     and(id,id) -> id,
     sub(id,id) -> id,
     .(and(?R,?T),and(?U,?V)) -> and(.(?R,?U),.(?T,?V)),
     .(sub(?R,?T),sub(?U,?V)) -> sub(.(?U,?R),.(?T,?V)),
     .(and(?R,?T),w1) -> .(w1,?R),
     .(and(?R,?T),w2) -> .(w2,?T),
     .(?R,c) -> .(c,and(?R,?R)),
     .(c,w1) -> id,
     .(c,w2) -> id,
     .(?R,i) -> .(i,sub(id,and(?R,id))),
     .(and(.(i,sub(id,?R)),?T),e) -> .(and(id,?T),?R),
     .(.(?W,and(?R,?T)),and(?U,?V)) -> .(?W,and(.(?R,?U),.(?T,?V))),
     .(.(?W,sub(?R,?T)),sub(?U,?V)) -> .(?W,sub(.(?U,?R),.(?T,?V))),
     .(.(?W,and(?R,?T)),w1) -> .(.(?W,w1),?R),
     .(.(?W,and(?R,?T)),w2) -> .(.(?W,w2),?T),
     .(and(i,?R),e) -> and(id,?R),
     .(.(?W,and(i,?R)),e) -> .(?W,and(id,?R)),
     .(.(?W,and(.(i,sub(id,?R)),?T)),e) -> .(.(?W,and(id,?T)),?R) ]
Apply Direct Methods...
Inner CPs:
   [ .(?R,?R_1) = .(.(?R,?R_1),id),
     .(?R,?R_2) = .(.(?R,id),?R_2),
     .(?R,and(.(?R_3,?U_3),.(?T_3,?V_3))) = .(.(?R,and(?R_3,?T_3)),and(?U_3,?V_3)),
     .(?R,sub(.(?U_4,?R_4),.(?T_4,?V_4))) = .(.(?R,sub(?R_4,?T_4)),sub(?U_4,?V_4)),
     .(?R,.(w1,?R_5)) = .(.(?R,and(?R_5,?T_5)),w1),
     .(?R,.(w2,?T_6)) = .(.(?R,and(?R_6,?T_6)),w2),
     .(?R,.(c,and(?R_7,?R_7))) = .(.(?R,?R_7),c),
     .(?R,id) = .(.(?R,c),w1),
     .(?R,id) = .(.(?R,c),w2),
     .(?R,.(i,sub(id,and(?R_8,id)))) = .(.(?R,?R_8),i),
     .(?R,.(and(id,?T_9),?R_9)) = .(.(?R,and(.(i,sub(id,?R_9)),?T_9)),e),
     .(?R,.(?W_10,and(.(?R_10,?U_10),.(?T_10,?V_10)))) = .(.(?R,.(?W_10,and(?R_10,?T_10))),and(?U_10,?V_10)),
     .(?R,.(?W_11,sub(.(?U_11,?R_11),.(?T_11,?V_11)))) = .(.(?R,.(?W_11,sub(?R_11,?T_11))),sub(?U_11,?V_11)),
     .(?R,.(.(?W_12,w1),?R_12)) = .(.(?R,.(?W_12,and(?R_12,?T_12))),w1),
     .(?R,.(.(?W_13,w2),?T_13)) = .(.(?R,.(?W_13,and(?R_13,?T_13))),w2),
     .(?R,and(id,?R_14)) = .(.(?R,and(i,?R_14)),e),
     .(?R,.(?W_15,and(id,?R_15))) = .(.(?R,.(?W_15,and(i,?R_15))),e),
     .(?R,.(.(?W_16,and(id,?T_16)),?R_16)) = .(.(?R,.(?W_16,and(.(i,sub(id,?R_16)),?T_16))),e),
     .(id,and(?U_3,?V_3)) = and(.(id,?U_3),.(id,?V_3)),
     .(and(?R_3,?T_3),id) = and(.(?R_3,id),.(?T_3,id)),
     .(id,sub(?U_4,?V_4)) = sub(.(?U_4,id),.(id,?V_4)),
     .(sub(?R_4,?T_4),id) = sub(.(id,?R_4),.(?T_4,id)),
     .(id,w1) = .(w1,id),
     .(id,w2) = .(w2,id),
     .(and(.(i,id),?T_9),e) = .(and(id,?T_9),id),
     .(and(?R_10,?T_10),and(?U_10,?V_10)) = .(id,and(.(?R_10,?U_10),.(?T_10,?V_10))),
     .(.(?W_10,id),and(?U_10,?V_10)) = .(?W_10,and(.(id,?U_10),.(id,?V_10))),
     .(.(?W_10,and(?R_10,?T_10)),id) = .(?W_10,and(.(?R_10,id),.(?T_10,id))),
     .(and(.(?R_3,?U_3),.(?T_3,?V_3)),and(?U_10,?V_10)) = .(and(?R_3,?T_3),and(.(?U_3,?U_10),.(?V_3,?V_10))),
     .(sub(?R_11,?T_11),sub(?U_11,?V_11)) = .(id,sub(.(?U_11,?R_11),.(?T_11,?V_11))),
     .(.(?W_11,id),sub(?U_11,?V_11)) = .(?W_11,sub(.(?U_11,id),.(id,?V_11))),
     .(.(?W_11,sub(?R_11,?T_11)),id) = .(?W_11,sub(.(id,?R_11),.(?T_11,id))),
     .(sub(.(?U_4,?R_4),.(?T_4,?V_4)),sub(?U_11,?V_11)) = .(sub(?R_4,?T_4),sub(.(?U_11,?U_4),.(?V_4,?V_11))),
     .(and(?R_12,?T_12),w1) = .(.(id,w1),?R_12),
     .(.(?W_12,id),w1) = .(.(?W_12,w1),id),
     .(and(.(?R_3,?U_3),.(?T_3,?V_3)),w1) = .(.(and(?R_3,?T_3),w1),?U_3),
     .(.(?W_10,and(.(?R_10,?U_10),.(?T_10,?V_10))),w1) = .(.(.(?W_10,and(?R_10,?T_10)),w1),?U_10),
     .(and(?R_13,?T_13),w2) = .(.(id,w2),?T_13),
     .(.(?W_13,id),w2) = .(.(?W_13,w2),id),
     .(and(.(?R_3,?U_3),.(?T_3,?V_3)),w2) = .(.(and(?R_3,?T_3),w2),?V_3),
     .(.(?W_10,and(.(?R_10,?U_10),.(?T_10,?V_10))),w2) = .(.(.(?W_10,and(?R_10,?T_10)),w2),?V_10),
     .(and(i,?R_15),e) = .(id,and(id,?R_15)),
     .(and(.(?R_3,i),.(?T_3,?V_3)),e) = .(and(?R_3,?T_3),and(id,?V_3)),
     .(.(?W_10,and(.(?R_10,i),.(?T_10,?V_10))),e) = .(.(?W_10,and(?R_10,?T_10)),and(id,?V_10)),
     .(and(.(i,sub(id,?R_16)),?T_16),e) = .(.(id,and(id,?T_16)),?R_16),
     .(.(?W_16,and(.(i,id),?T_16)),e) = .(.(?W_16,and(id,?T_16)),id),
     .(and(.(?R_3,.(i,sub(id,?R_16))),.(?T_3,?V_3)),e) = .(.(and(?R_3,?T_3),and(id,?V_3)),?R_16),
     .(.(?W_10,and(.(?R_10,.(i,sub(id,?R_16))),.(?T_10,?V_10))),e) = .(.(.(?W_10,and(?R_10,?T_10)),and(id,?V_10)),?R_16),
     .(?R_1,.(.(?R,?T),?U)) = .(.(?R_1,?R),.(?T,?U)),
     .(.(?W,and(.(?R,?U),.(?T,?V))),and(?U_1,?V_1)) = .(.(?W,and(?R,?T)),and(.(?U,?U_1),.(?V,?V_1))),
     .(.(?W,sub(.(?U,?R),.(?T,?V))),sub(?U_1,?V_1)) = .(.(?W,sub(?R,?T)),sub(.(?U_1,?U),.(?V,?V_1))) ]
Outer CPs:
   [ .(.(id,?T),?U) = .(?T,?U),
     id = id,
     c = .(c,and(id,id)),
     i = .(i,sub(id,and(id,id))) ]
Left-Linear, not Right-Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
110.trs: Failure(unknown CR)
(2 msec.)