MAYBE
(ignored inputs)COMMENT experiments for [125] submitted by: Takahito Aoto
Rewrite Rules:
   [ not(true) -> false,
     not(false) -> true,
     or(true,?y) -> true,
     or(?x,true) -> true,
     or(false,false) -> false,
     implies(true,?y) -> ?y,
     implies(false,?y) -> true,
     implies(?x,?y) -> or(not(?x),?y) ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [ true = true,
     ?y_2 = or(not(true),?y_2),
     true = or(not(false),?y_3) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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