あの生態系は明るむ
fact1: もし仮に「討ち死にでない」物があるとするとあの生態系は説明するということはないかまたはそれは携える fact2: 「討ち死にでない」物はある fact3: もし仮にある物が説明しないかもしくはそれは携えるか両方なら「明るむ」ということは事実である
fact2 & fact1 -> int1: あの生態系は説明しないかもしくは携える; fact3 -> int2: あの生態系は説明しないかまたは携えるかもしくはどちらもであるならば「明るむ」ということは事実だ; int1 & int2 -> hypothesis;
fact2 & fact1 -> int1: (¬{B}{a} v {C}{a}); fact3 -> int2: (¬{B}{a} v {C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮に「討ち死にでない」物があるとするとあの生態系は説明するということはないかまたはそれは携える fact2: 「討ち死にでない」物はある fact3: もし仮にある物が説明しないかもしくはそれは携えるか両方なら「明るむ」ということは事実である ; $hypothesis$ = あの生態系は明るむ ; $proof$ = 
fact2 & fact1 -> int1: あの生態系は説明しないかもしくは携える; fact3 -> int2: あの生態系は説明しないかまたは携えるかもしくはどちらもであるならば「明るむ」ということは事実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「討ち死にでない」物があるとするとあの生態系は説明するということはないかまたはそれは携える
事実2: 「討ち死にでない」物はある
事実3: もし仮にある物が説明しないかもしくはそれは携えるか両方なら「明るむ」ということは事実である

仮説: あの生態系は明るむ
1. 事実2と事実1から、推論1: "あの生態系は説明しないかもしくは携える"が導かれる
2. 事実3から、推論2: "あの生態系は説明しないかまたは携えるかもしくはどちらもであるならば「明るむ」ということは事実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。