あの非線形は冷遇しない
fact1: 「その消費動向は多発しないけど聞こゆ」ということは誤りだ fact2: 「「模索し続けないけれど立て回す」ということは間違っている」物はある fact3: もしその雄叫びが兼であるならあのぐんま天文台は牢屋でない fact4: 「立て回す」ものがあるとするとあの所定は準ずるということはない fact5: もし仮になにがしかの物は牢屋であるとするとそれは模索し続けない fact6: 仮に「御前自身であるかもしくは準ずるかまたはどちらもな」物はあれば「あの所定は準ずる」ということは確かだ fact7: 「「この法廷闘争は模索し続けないけど立て回す」ということは真実だ」ということは事実でない fact8: 「「模索し続けるということはないしおまけに立て回さない」ということは成り立たない」ものがあるとするとあの所定は準ぜない fact9: もし仮に「「その雄叫びは兼でないし加えて国連機関でない」ということは本当だ」ということは嘘であるならばあのぐんま天文台は牢屋でない fact10: もし仮にあのぐんま天文台は牢屋だということはないならば「この法廷闘争は模索し続けるということはなくて立て回すということはない」ということは間違いだ fact11: 仮に「その消費動向は多発しないけど聞こゆ」ということは誤っているとすると「準ずる」ということは確かである fact12: もしその雄叫びが兼だけれど国連機関でないとすればあの非線形は冷遇する fact13: もし「「その消費動向は兼でなくておまけに国連機関でない」ということは嘘だ」ということは事実であるとしたらその雄叫びは準ぜない fact14: もしもその消費動向が聞こゆないとしたら準ずる fact15: その雄叫びは兼だということはない fact16: 仮にその雄叫びが兼でなくて国連機関でないとするとあの非線形は冷遇する
void -> assump1: 以下のように仮定する。「「その雄叫びは兼でないしそれは国連機関でない」ということは偽だ」ということは成り立つ; fact9 & assump1 -> int1: あのぐんま天文台は牢屋でない; int1 & fact10 -> int2: 「「この法廷闘争は模索し続けないし更に立て回さない」ということは成り立たない」ということは本当である; int2 -> int3: 「「模索し続けるということはないしそれに立て回さない」ということは成り立たない」ものはある; int3 & fact8 -> int4: あの所定は準ぜない; fact11 & fact1 -> int5: その消費動向は準ずる; int5 -> int6: その消費動向は御前自身であるかあるいは準ずる; int6 -> int7: 何かは御前自身であるかまたは準ずる; int7 & fact6 -> int8: あの所定は準ずる; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その雄叫びは兼でないし国連機関でない; int10 & fact16 -> hypothesis;
あの非線形は冷遇しない
fact17 -> int11: もしもその雄叫びは牢屋であるとすれば模索し続けるということはない;
$facts$ = fact1: 「その消費動向は多発しないけど聞こゆ」ということは誤りだ fact2: 「「模索し続けないけれど立て回す」ということは間違っている」物はある fact3: もしその雄叫びが兼であるならあのぐんま天文台は牢屋でない fact4: 「立て回す」ものがあるとするとあの所定は準ずるということはない fact5: もし仮になにがしかの物は牢屋であるとするとそれは模索し続けない fact6: 仮に「御前自身であるかもしくは準ずるかまたはどちらもな」物はあれば「あの所定は準ずる」ということは確かだ fact7: 「「この法廷闘争は模索し続けないけど立て回す」ということは真実だ」ということは事実でない fact8: 「「模索し続けるということはないしおまけに立て回さない」ということは成り立たない」ものがあるとするとあの所定は準ぜない fact9: もし仮に「「その雄叫びは兼でないし加えて国連機関でない」ということは本当だ」ということは嘘であるならばあのぐんま天文台は牢屋でない fact10: もし仮にあのぐんま天文台は牢屋だということはないならば「この法廷闘争は模索し続けるということはなくて立て回すということはない」ということは間違いだ fact11: 仮に「その消費動向は多発しないけど聞こゆ」ということは誤っているとすると「準ずる」ということは確かである fact12: もしその雄叫びが兼だけれど国連機関でないとすればあの非線形は冷遇する fact13: もし「「その消費動向は兼でなくておまけに国連機関でない」ということは嘘だ」ということは事実であるとしたらその雄叫びは準ぜない fact14: もしもその消費動向が聞こゆないとしたら準ずる fact15: その雄叫びは兼だということはない fact16: 仮にその雄叫びが兼でなくて国連機関でないとするとあの非線形は冷遇する ; $hypothesis$ = あの非線形は冷遇しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その雄叫びは兼でないしそれは国連機関でない」ということは偽だ」ということは成り立つ; fact9 & assump1 -> int1: あのぐんま天文台は牢屋でない; int1 & fact10 -> int2: 「「この法廷闘争は模索し続けないし更に立て回さない」ということは成り立たない」ということは本当である; int2 -> int3: 「「模索し続けるということはないしそれに立て回さない」ということは成り立たない」ものはある; int3 & fact8 -> int4: あの所定は準ぜない; fact11 & fact1 -> int5: その消費動向は準ずる; int5 -> int6: その消費動向は御前自身であるかあるいは準ずる; int6 -> int7: 何かは御前自身であるかまたは準ずる; int7 & fact6 -> int8: あの所定は準ずる; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その雄叫びは兼でないし国連機関でない; int10 & fact16 -> hypothesis; __DISPROVED__
事実1: 「その消費動向は多発しないけど聞こゆ」ということは誤りだ
事実2: 「「模索し続けないけれど立て回す」ということは間違っている」物はある
事実3: もしその雄叫びが兼であるならあのぐんま天文台は牢屋でない
事実4: 「立て回す」ものがあるとするとあの所定は準ずるということはない
事実5: もし仮になにがしかの物は牢屋であるとするとそれは模索し続けない
事実6: 仮に「御前自身であるかもしくは準ずるかまたはどちらもな」物はあれば「あの所定は準ずる」ということは確かだ
事実7: 「「この法廷闘争は模索し続けないけど立て回す」ということは真実だ」ということは事実でない
事実8: 「「模索し続けるということはないしおまけに立て回さない」ということは成り立たない」ものがあるとするとあの所定は準ぜない
事実9: もし仮に「「その雄叫びは兼でないし加えて国連機関でない」ということは本当だ」ということは嘘であるならばあのぐんま天文台は牢屋でない
事実10: もし仮にあのぐんま天文台は牢屋だということはないならば「この法廷闘争は模索し続けるということはなくて立て回すということはない」ということは間違いだ
事実11: 仮に「その消費動向は多発しないけど聞こゆ」ということは誤っているとすると「準ずる」ということは確かである
事実12: もしその雄叫びが兼だけれど国連機関でないとすればあの非線形は冷遇する
事実13: もし「「その消費動向は兼でなくておまけに国連機関でない」ということは嘘だ」ということは事実であるとしたらその雄叫びは準ぜない
事実14: もしもその消費動向が聞こゆないとしたら準ずる
事実15: その雄叫びは兼だということはない
事実16: 仮にその雄叫びが兼でなくて国連機関でないとするとあの非線形は冷遇する

仮説: あの非線形は冷遇しない
1. 仮定1: 以下のように仮定する。「「その雄叫びは兼でないしそれは国連機関でない」ということは偽だ」ということは成り立つ
2. 事実9と仮定1から、推論1: "あのぐんま天文台は牢屋でない"が導かれる
3. 推論1と事実10から、推論2: "「「この法廷闘争は模索し続けないし更に立て回さない」ということは成り立たない」ということは本当である"が導かれる
4. 推論2から、推論3: "「「模索し続けるということはないしそれに立て回さない」ということは成り立たない」ものはある"が導かれる
5. 推論3と事実8から、推論4: "あの所定は準ぜない"が導かれる
6. 事実11と事実1から、推論5: "その消費動向は準ずる"が導かれる
7. 推論5から、推論6: "その消費動向は御前自身であるかあるいは準ずる"が導かれる
8. 推論6から、推論7: "何かは御前自身であるかまたは準ずる"が導かれる
9. 推論7と事実6から、推論8: "あの所定は準ずる"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その雄叫びは兼でないし国連機関でない"が導かれる
12. 推論10と事実16から、仮説が否定される

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