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

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