MAYBE 172.71/57.84 MAYBE 172.71/57.84 172.71/57.84 Problem: 172.71/57.84 a(a(b(x1))) -> c(d(x1)) 172.71/57.84 b(e(b(x1))) -> e(d(x1)) 172.71/57.84 b(d(x1)) -> e(b(x1)) 172.71/57.84 b(b(b(x1))) -> e(e(x1)) 172.71/57.84 e(e(e(x1))) -> d(e(x1)) 172.71/57.84 d(x1) -> b(e(x1)) 172.71/57.84 c(d(a(x1))) -> c(x1) 172.71/57.84 d(c(x1)) -> c(d(a(x1))) 172.71/57.84 a(x1) -> e(b(x1)) 172.71/57.84 172.71/57.84 Proof: 172.71/57.84 Open 172.71/57.85 EOF