0.00/0.45 MAYBE 0.00/0.45 0.00/0.45 Problem: 0.00/0.45 cons(x, cons(y, rest)) -> cons(z1, cons(z2, rest)) <= orient(x, y) = pair(z1, z2) 0.00/0.45 cons(x, cons(x, rest)) -> cons(x, rest) 0.00/0.46 orient(s(x), s(y)) -> pair(s(z1), s(z2)) <= orient(x, y) = pair(z1, z2) 0.00/0.46 orient(s(x), 0()) -> pair(0(), s(x)) 0.00/0.46 0.00/0.46 Proof: 0.00/0.46 ConCon could not decide confluence of the system. 0.00/0.46 \cite{GNG13}, Theorem 9 does not apply. 0.00/0.46 0.00/0.46 EOF