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