MAYBE
Time: 0.001576
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)))}
   EDG:
    {(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))}
    EDG:
     {(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))}
     STATUS:
      arrows: 0.500000
      SCCS (1):
       Scc:
        {implies#(x, or(y, z)) -> implies#(x, z)}
       
       
       SCC (1):
        Strict:
         {implies#(x, or(y, z)) -> implies#(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