Task: Text Simplification
Input (English): It asserts that a proposition is true because it has not yet been proven false or a proposition is false because it has not yet been proven true .
Output (English): Or , that something is false if it has not yet been proved true .