Assertion: contradiction | /r/HasProperty | proved
Facets:
value: by showing that
type: MANNER
Source sentences:
text: An alternate form of proof by contradiction derives a contradiction with the statement to be proved by showing that ¬