MAYBE
(ignored inputs)COMMENT full experiments for [35] submitted by: Takahito Aoto and Yoshihito Toyama
Rewrite Rules:
   [ or(T,?x) -> T,
     or(?x,F) -> ?x,
     or(or(?x,?y),?z) -> or(?x,or(?y,?z)),
     or(?x,?y) -> or(?y,?x) ]
Apply Direct Methods...
Inner CPs:
   [ or(T,?z_2) = or(T,or(?x,?z_2)),
     or(?x_1,?z_2) = or(?x_1,or(F,?z_2)),
     or(or(?y_3,?x_3),?z_2) = or(?x_3,or(?y_3,?z_2)),
     or(or(?x,or(?y,?z)),?z_1) = or(or(?x,?y),or(?z,?z_1)) ]
Outer CPs:
   [ T = T,
     T = or(?x,T),
     or(?x_2,?y_2) = or(?x_2,or(?y_2,F)),
     ?x_1 = or(F,?x_1),
     or(?x_2,or(?y_2,?z_2)) = or(?z_2,or(?x_2,?y_2)) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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