MAYBE
(ignored inputs)COMMENT full experiments for [35] submitted by: Takahito Aoto and Yoshihito Toyama
Rewrite Rules:
   [ or(?x,T) -> T,
     or(?x,F) -> ?x,
     or(T,?x) -> T,
     or(F,?x) -> ?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_4) = or(?x,or(T,?z_4)),
     or(?x_1,?z_4) = or(?x_1,or(F,?z_4)),
     or(T,?z_4) = or(T,or(?x_2,?z_4)),
     or(?x_3,?z_4) = or(F,or(?x_3,?z_4)),
     or(or(?y_5,?x_5),?z_4) = or(?x_5,or(?y_5,?z_4)),
     or(or(?x,or(?y,?z)),?z_1) = or(or(?x,?y),or(?z,?z_1)) ]
Outer CPs:
   [ T = T,
     T = T,
     T = or(?x_4,or(?y_4,T)),
     T = or(T,?x),
     T = T,
     F = F,
     or(?x_4,?y_4) = or(?x_4,or(?y_4,F)),
     ?x_1 = or(F,?x_1),
     T = or(?x_2,T),
     ?x_3 = or(?x_3,F),
     or(?x_4,or(?y_4,?z_4)) = or(?z_4,or(?x_4,?y_4)) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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