The witness was not cross-examined. 
It was a good thing the witness wasn't cross examined.
mnli hypothesis: It was a good thing the witness wasn't cross examined. premise: The witness was not cross-examined. 