MAYBE
223.48/56.76	MAYBE
223.48/56.76	
223.48/56.76	Problem:
223.48/56.76	 a(b(b(x1))) -> P(a(b(x1)))
223.48/56.76	 a(P(x1)) -> P(a(x(x1)))
223.48/56.76	 a(x(x1)) -> x(a(x1))
223.48/56.76	 b(P(x1)) -> b(Q(x1))
223.48/56.76	 Q(x(x1)) -> a(Q(x1))
223.48/56.76	 Q(a(x1)) -> b(b(a(x1)))
223.48/56.76	
223.48/56.76	Proof:
223.48/56.76	 Open
223.48/56.76	EOF