そのドラムズはしこり立たない
fact1: もし仮になにかは座り易くないならばそれはしこり立つかまたは使用者でない fact2: もしそのドラムズが使用者でないならあの水頭症は座り易いということはない fact3: 「あの水頭症は船型でない」ということは成り立つ fact4: もしもあの水頭症は船型でないならばそれは座り易いし更に否定し難い fact5: もしなにがしかのものが当該物件でないけどそれが鬱積するとしたら使用者でない fact6: 仮にそのドラムズは座り易いならば「それは鬱積しない」ということは真実である fact7: その人口比率が否定し難いならばあの突発事態は座り易いかあるいは使用者でない fact8: もし仮になにがしかの物は船型であるとしたらそれは否定し難いがしかし座り易くない fact9: あの水頭症が否定し難いけど座り易くないとしたらそのドラムズは座り易いということはない fact10: あのチキンコンソメはしこり立たない fact11: もし何かはしこり立つかそれが使用者でないとすればそれはしこり立つ fact12: もしもある物がしこり立つなら当該物件でないが鬱積する
fact12 -> int1: 仮にそのドラムズがしこり立つとすれば当該物件であるということはないけど鬱積する; void -> assump1: 以下のように仮定する。そのドラムズはしこり立つ; int1 & assump1 -> int2: そのドラムズは当該物件でない一方で鬱積する; fact5 -> int3: そのドラムズが当該物件でないけれどそれが鬱積すればそれは使用者だということはない; int2 & int3 -> int4: 「そのドラムズは使用者でない」ということは成り立つ; int4 & fact2 -> int5: あの水頭症は座り易くない; fact4 & fact3 -> int6: あの水頭症は座り易くて加えて否定し難い; int6 -> int7: あの水頭症は座り易い; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの水頭症はしこり立たない
$facts$ = fact1: もし仮になにかは座り易くないならばそれはしこり立つかまたは使用者でない fact2: もしそのドラムズが使用者でないならあの水頭症は座り易いということはない fact3: 「あの水頭症は船型でない」ということは成り立つ fact4: もしもあの水頭症は船型でないならばそれは座り易いし更に否定し難い fact5: もしなにがしかのものが当該物件でないけどそれが鬱積するとしたら使用者でない fact6: 仮にそのドラムズは座り易いならば「それは鬱積しない」ということは真実である fact7: その人口比率が否定し難いならばあの突発事態は座り易いかあるいは使用者でない fact8: もし仮になにがしかの物は船型であるとしたらそれは否定し難いがしかし座り易くない fact9: あの水頭症が否定し難いけど座り易くないとしたらそのドラムズは座り易いということはない fact10: あのチキンコンソメはしこり立たない fact11: もし何かはしこり立つかそれが使用者でないとすればそれはしこり立つ fact12: もしもある物がしこり立つなら当該物件でないが鬱積する ; $hypothesis$ = そのドラムズはしこり立たない ; $proof$ = 
fact12 -> int1: 仮にそのドラムズがしこり立つとすれば当該物件であるということはないけど鬱積する; void -> assump1: 以下のように仮定する。そのドラムズはしこり立つ; int1 & assump1 -> int2: そのドラムズは当該物件でない一方で鬱積する; fact5 -> int3: そのドラムズが当該物件でないけれどそれが鬱積すればそれは使用者だということはない; int2 & int3 -> int4: 「そのドラムズは使用者でない」ということは成り立つ; int4 & fact2 -> int5: あの水頭症は座り易くない; fact4 & fact3 -> int6: あの水頭症は座り易くて加えて否定し難い; int6 -> int7: あの水頭症は座り易い; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮になにかは座り易くないならばそれはしこり立つかまたは使用者でない
事実2: もしそのドラムズが使用者でないならあの水頭症は座り易いということはない
事実3: 「あの水頭症は船型でない」ということは成り立つ
事実4: もしもあの水頭症は船型でないならばそれは座り易いし更に否定し難い
事実5: もしなにがしかのものが当該物件でないけどそれが鬱積するとしたら使用者でない
事実6: 仮にそのドラムズは座り易いならば「それは鬱積しない」ということは真実である
事実7: その人口比率が否定し難いならばあの突発事態は座り易いかあるいは使用者でない
事実8: もし仮になにがしかの物は船型であるとしたらそれは否定し難いがしかし座り易くない
事実9: あの水頭症が否定し難いけど座り易くないとしたらそのドラムズは座り易いということはない
事実10: あのチキンコンソメはしこり立たない
事実11: もし何かはしこり立つかそれが使用者でないとすればそれはしこり立つ
事実12: もしもある物がしこり立つなら当該物件でないが鬱積する

仮説: そのドラムズはしこり立たない
1. 事実12から、推論1: "仮にそのドラムズがしこり立つとすれば当該物件であるということはないけど鬱積する"が導かれる
2. 仮定1: 以下のように仮定する。そのドラムズはしこり立つ
3. 推論1と仮定1から、推論2: "そのドラムズは当該物件でない一方で鬱積する"が導かれる
4. 事実5から、推論3: "そのドラムズが当該物件でないけれどそれが鬱積すればそれは使用者だということはない"が導かれる
5. 推論2と推論3から、推論4: "「そのドラムズは使用者でない」ということは成り立つ"が導かれる
6. 推論4と事実2から、推論5: "あの水頭症は座り易くない"が導かれる
7. 事実4と事実3から、推論6: "あの水頭症は座り易くて加えて否定し難い"が導かれる
8. 推論6から、推論7: "あの水頭症は座り易い"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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