MAYBE 237.17/60.29 MAYBE 237.17/60.29 237.17/60.29 Problem: 237.17/60.29 h(1(1(x1))) -> 1(h(x1)) 237.17/60.29 1(1(h(b(x1)))) -> 1(1(s(b(x1)))) 237.17/60.29 1(s(x1)) -> s(1(x1)) 237.17/60.29 b(s(x1)) -> b(h(x1)) 237.17/60.29 h(1(b(x1))) -> t(1(1(b(x1)))) 237.17/60.29 1(t(x1)) -> t(1(1(1(x1)))) 237.17/60.29 b(t(x1)) -> b(h(x1)) 237.17/60.29 237.17/60.29 Proof: 237.17/60.29 Open 237.17/60.29 EOF