MAYBE 35.58/10.35 MAYBE 35.58/10.35 35.58/10.35 Problem: 35.58/10.35 a(a(x1)) -> b(a(c(b(x1)))) 35.58/10.35 b(b(x1)) -> a(a(x1)) 35.58/10.35 c(a(x1)) -> x1 35.58/10.35 35.58/10.35 Proof: 35.58/10.35 Open 35.58/10.36 EOF