MAYBE
168.46/56.83	MAYBE
168.46/56.83	
168.46/56.83	Problem:
168.46/56.83	 f(x1) -> n(c(n(a(x1))))
168.46/56.83	 c(f(x1)) -> f(n(a(c(x1))))
168.46/56.83	 n(a(x1)) -> c(x1)
168.46/56.83	 c(c(x1)) -> c(x1)
168.46/56.83	 n(s(x1)) -> f(s(s(x1)))
168.46/56.83	 n(f(x1)) -> f(n(x1))
168.46/56.83	
168.46/56.83	Proof:
168.46/56.83	 Open
168.46/56.84	EOF