あの貯蔵量は判例・通説である
fact1: もし仮にこの七五三は下り始めるとすると「それは判例・通説でない」ということは成り立つ fact2: ある物は下り始めないとすると「判例・通説でない」ということは成り立つ fact3: もしこの七五三は下り始めないとしたら「「あの貯蔵量は下り始めるが個別意志でない」ということは本当である」ということは成り立たない fact4: 「「壊れ難くないしその上現金化する」ということは誤りな」物はある fact5: 仮に何かは個別意志なら下り始める fact6: 仮に「なにかは下り始めるけどそれは個別意志でない」ということは成り立たないならばそれは判例・通説でない fact7: 仮に「「壊れ難くないし現金化する」ということは成り立たない」物があるとすればあの七五三は下り始めない
fact4 & fact7 -> int1: この七五三は下り始めるということはない; int1 & fact3 -> int2: 「あの貯蔵量は下り始めるけど個別意志でない」ということは嘘である; fact6 -> int3: もしも「あの貯蔵量は下り始めるがしかし個別意志でない」ということは誤りだとしたら判例・通説でない; int2 & int3 -> hypothesis;
あの貯蔵量は判例・通説である
fact8 -> int4: もしあの貯蔵量が個別意志だとすればそれは下り始める;
$facts$ = fact1: もし仮にこの七五三は下り始めるとすると「それは判例・通説でない」ということは成り立つ fact2: ある物は下り始めないとすると「判例・通説でない」ということは成り立つ fact3: もしこの七五三は下り始めないとしたら「「あの貯蔵量は下り始めるが個別意志でない」ということは本当である」ということは成り立たない fact4: 「「壊れ難くないしその上現金化する」ということは誤りな」物はある fact5: 仮に何かは個別意志なら下り始める fact6: 仮に「なにかは下り始めるけどそれは個別意志でない」ということは成り立たないならばそれは判例・通説でない fact7: 仮に「「壊れ難くないし現金化する」ということは成り立たない」物があるとすればあの七五三は下り始めない ; $hypothesis$ = あの貯蔵量は判例・通説である ; $proof$ = 
fact4 & fact7 -> int1: この七五三は下り始めるということはない; int1 & fact3 -> int2: 「あの貯蔵量は下り始めるけど個別意志でない」ということは嘘である; fact6 -> int3: もしも「あの貯蔵量は下り始めるがしかし個別意志でない」ということは誤りだとしたら判例・通説でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの七五三は下り始めるとすると「それは判例・通説でない」ということは成り立つ
事実2: ある物は下り始めないとすると「判例・通説でない」ということは成り立つ
事実3: もしこの七五三は下り始めないとしたら「「あの貯蔵量は下り始めるが個別意志でない」ということは本当である」ということは成り立たない
事実4: 「「壊れ難くないしその上現金化する」ということは誤りな」物はある
事実5: 仮に何かは個別意志なら下り始める
事実6: 仮に「なにかは下り始めるけどそれは個別意志でない」ということは成り立たないならばそれは判例・通説でない
事実7: 仮に「「壊れ難くないし現金化する」ということは成り立たない」物があるとすればあの七五三は下り始めない

仮説: あの貯蔵量は判例・通説である
1. 事実4と事実7から、推論1: "この七五三は下り始めるということはない"が導かれる
2. 推論1と事実3から、推論2: "「あの貯蔵量は下り始めるけど個別意志でない」ということは嘘である"が導かれる
3. 事実6から、推論3: "もしも「あの貯蔵量は下り始めるがしかし個別意志でない」ということは誤りだとしたら判例・通説でない"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。