#reductio_ad_absurdum  (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proff of a proposition by showing that its negation leads to a contradiction
  supertype:  #disproof__falsification__refutation  any evidence that helps to establish the falsity of something
     supertype:  #evidence.situation__grounds  your basis for belief or disbelief; knowledge on which to base belief; "the evidence that smoking causes lung cancer is very compelling"
        supertype:  pm#situation_playing_some_role  e.g., a causal situation
           supertype:  pm#situation  something that "occurs" in a real/imaginary region of time and space
              supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
           supertype:  pm#thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
              supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

No statement uses or specializes #reductio_ad_absurdum; click here to add one.