MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 f(X,n__g(X),Y) -> f(activate(Y),activate(Y),activate(Y))
0.08/0.17	 g(b()) -> c()
0.08/0.17	 b() -> c()
0.08/0.17	 g(X) -> n__g(X)
0.08/0.17	 activate(n__g(X)) -> g(X)
0.08/0.17	 activate(X) -> X
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.17	EOF