MAYBE
Time: 0.000814
TRS:
 {    implies(x, or(y, z)) -> or(y, implies(x, z)),
         implies(not x, y) -> or(x, y),
  implies(not x, or(y, z)) -> implies(y, or(x, z))}
 DP:
  DP:
   {    implies#(x, or(y, z)) -> implies#(x, z),
    implies#(not x, or(y, z)) -> implies#(y, or(x, z))}
  TRS:
  {    implies(x, or(y, z)) -> or(y, implies(x, z)),
          implies(not x, y) -> or(x, y),
   implies(not x, or(y, z)) -> implies(y, or(x, z))}
  EDG:
   {(implies#(not x, or(y, z)) -> implies#(y, or(x, z)), implies#(not x, or(y, z)) -> implies#(y, or(x, z)))
    (implies#(not x, or(y, z)) -> implies#(y, or(x, z)), implies#(x, or(y, z)) -> implies#(x, z))
    (implies#(x, or(y, z)) -> implies#(x, z), implies#(x, or(y, z)) -> implies#(x, z))
    (implies#(x, or(y, z)) -> implies#(x, z), implies#(not x, or(y, z)) -> implies#(y, or(x, z)))}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {    implies#(x, or(y, z)) -> implies#(x, z),
       implies#(not x, or(y, z)) -> implies#(y, or(x, z))}
     
     SCC (2):
      Strict:
       {    implies#(x, or(y, z)) -> implies#(x, z),
        implies#(not x, or(y, z)) -> implies#(y, or(x, z))}
      Weak:
      {    implies(x, or(y, z)) -> or(y, implies(x, z)),
              implies(not x, y) -> or(x, y),
       implies(not x, or(y, z)) -> implies(y, or(x, z))}
      Open