MAYBE 219.77/55.57 MAYBE 219.77/55.57 219.77/55.57 Problem: 219.77/55.57 a(b(x1)) -> b(d(x1)) 219.77/55.57 a(c(x1)) -> d(d(d(x1))) 219.77/55.57 b(d(x1)) -> a(c(b(x1))) 219.77/55.57 c(f(x1)) -> d(d(c(x1))) 219.77/55.57 d(d(x1)) -> f(x1) 219.77/55.57 f(f(x1)) -> a(x1) 219.77/55.57 219.77/55.57 Proof: 219.77/55.57 Open 219.77/55.57 EOF