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