MAYBE
48.50/15.28	MAYBE
48.50/15.28	
48.50/15.28	Problem:
48.50/15.28	 a(x1) -> x1
48.50/15.28	 a(b(b(x1))) -> b(b(b(a(a(c(x1))))))
48.50/15.28	 c(b(x1)) -> x1
48.50/15.28	
48.50/15.28	Proof:
48.50/15.28	 Open
48.50/15.28	EOF