0.00/0.50 MAYBE 0.00/0.50 0.00/0.52 Problem: 0.00/0.52 cons(x, cons(y, rest)) -> cons(z1, cons(z2, rest)) <= orient(x, y) = pair(z1, z2) 0.00/0.52 cons(x, cons(x, rest)) -> cons(x, rest) 0.00/0.52 orient(s(x), s(y)) -> pair(s(z1), s(z2)) <= orient(x, y) = pair(z1, z2) 0.00/0.52 orient(s(x), 0()) -> pair(0(), s(x)) 0.00/0.52 0.00/0.52 Proof: 0.00/0.52 ConCon could not decide confluence of the system. 0.00/0.52 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.52 0.00/0.53 EOF