Generate text that is semantically similar to this text: ( the discovery or exhibition of ) factual evidence that establishes the truth of something .
a formal series of statements showing that if one thing is true something else necessarily follows from it .