MAYBE 75.00/27.49 MAYBE 75.00/27.49 75.00/27.49 Problem: 75.00/27.49 a(b(x1)) -> b(r(x1)) 75.00/27.49 r(a(x1)) -> d(r(x1)) 75.00/27.49 r(x1) -> d(x1) 75.00/27.49 d(a(x1)) -> a(a(d(x1))) 75.00/27.49 d(x1) -> a(x1) 75.00/27.49 75.00/27.49 Proof: 75.00/27.49 Open 75.00/27.49 EOF