MAYBE 233.92/59.11 MAYBE 233.92/59.11 233.92/59.11 Problem: 233.92/59.11 t(f(x1)) -> t(c(n(x1))) 233.92/59.11 n(f(x1)) -> f(n(x1)) 233.92/59.11 o(f(x1)) -> f(o(x1)) 233.92/59.11 n(s(x1)) -> f(s(x1)) 233.92/59.11 o(s(x1)) -> f(s(x1)) 233.92/59.11 c(f(x1)) -> f(c(x1)) 233.92/59.11 c(n(x1)) -> n(c(x1)) 233.92/59.11 c(o(x1)) -> o(c(x1)) 233.92/59.11 c(o(x1)) -> o(x1) 233.92/59.11 233.92/59.11 Proof: 233.92/59.11 Open 233.92/59.11 EOF