MAYBE 236.13/60.22 MAYBE 236.13/60.22 236.13/60.22 Problem: 236.13/60.22 b(a(a(x1))) -> a(b(c(x1))) 236.13/60.22 c(a(x1)) -> a(c(x1)) 236.13/60.22 b(c(a(x1))) -> a(b(c(x1))) 236.13/60.22 c(b(x1)) -> d(x1) 236.13/60.22 d(x1) -> b(a(x1)) 236.13/60.22 a(d(x1)) -> d(a(x1)) 236.13/60.22 a(a(x1)) -> a(b(a(x1))) 236.13/60.22 236.13/60.22 Proof: 236.13/60.22 Open 236.13/60.22 EOF