MAYBE
90.33/54.64	MAYBE
90.33/54.64	
90.33/54.64	Problem:
90.33/54.64	 a(x1) -> x1
90.33/54.64	 a(b(a(b(x1)))) -> c(b(c(a(x1))))
90.33/54.64	 c(x1) -> b(a(x1))
90.33/54.64	
90.33/54.64	Proof:
90.33/54.64	 Open
90.33/54.64	EOF