Near Matches
Ignore Exact
Everything
2
reductio ad absurdum
See also:
Proof by contradiction