Assertion: contradiction | /r/CapableOf | involve hypothesis
Facets:
value: directly
type: MANNER
Source sentences:
text: The key benefit of proof by contradiction is that you can stop when you find any contradiction, not only a contradiction directly involving the hypotheses.