MAYBE
141.15/55.27	MAYBE
141.15/55.27	
141.15/55.27	Problem:
141.15/55.27	 a(b(x1)) -> b(b(a(x1)))
141.15/55.27	 c(b(x1)) -> b(c(c(x1)))
141.15/55.27	
141.15/55.27	Proof:
141.15/55.27	 Open
141.15/55.28	EOF