MAYBE 128.36/55.29 MAYBE 128.36/55.29 128.36/55.29 Problem: 128.36/55.29 a(a(x1)) -> b(b(c(x1))) 128.36/55.29 b(a(x1)) -> c(x1) 128.36/55.29 c(b(x1)) -> a(a(x1)) 128.36/55.29 128.36/55.29 Proof: 128.36/55.29 Open 128.36/55.29 EOF