No convincing explanation has as yet been found.
A convincing explanation hasn't been found. 
mnli hypothesis: A convincing explanation hasn't been found.  premise: No convincing explanation has as yet been found.