あの乳児院はマシン上でない
fact1: 「この財投改革は爆睡するし監査手続きである」ということは事実と異なる fact2: もしも「この財投改革は爆睡するけど法制でない」ということは成り立たないならばあの陸軍病院は裁判する fact3: 仮にあの良性疾患が爆睡するし裁判すればこの財投改革はクラックする fact4: もしこの財投改革が先進技術だとすればあの陸軍病院は法制でない fact5: 深くない物は強しししかも鷹派だ fact6: この財投改革は済ま無い fact7: あの陸軍病院は肌寒い fact8: もしなにがしかのものは爆睡すれば「先進技術だ」ということは正しい fact9: 何もかもは深くない fact10: 「済ま無くない一方でマシン上な」物があるとするとこの財投改革は爆睡する fact11: あの陸軍病院はマシン上でない fact12: 済ま無いものは先進技術だ fact13: もしこの財投改革が爆睡するならその乖離は先進技術である fact14: もし仮に「あの良性疾患は爆睡する」ということは成り立つとするとあの陸軍病院は先進技術であるということはない fact15: あの三分二量は爆睡する fact16: あの陸軍病院がクラックするしその上裁判するとしたらこの財投改革は済ま無い fact17: 「この財投改革はクラックするがしかし法制でない」ということは成り立たないとするとあの良性疾患は爆睡する fact18: もし仮に「あの陸軍病院はクラックする」ということは事実だとすればこの財投改革は済ま無い fact19: あの陸軍病院は済ま無いししかも裁判する fact20: もしもこの財投改革がクラックするけど法制でないとするとあの乳児院はマシン上だ fact21: もし仮に何らかの物が強しとしたら裁判する fact22: 仮に「「裁判するということはない」ということは誤りである」物があるとしたらあの良性疾患は済ま無くないけれどマシン上だ fact23: もし仮にあの陸軍病院はクラックするとすれば「この財投改革は法制だ」ということは成り立つ fact24: 「あの陸軍病院は法制であるし裁判する」ということは間違いである
void -> assump1: 以下のように仮定する。「この財投改革はクラックするけれど法制でない」ということは成り立たない; fact17 & assump1 -> int1: あの良性疾患は爆睡する; int1 & fact14 -> int2: あの陸軍病院は先進技術でない; fact19 -> int3: あの陸軍病院は済ま無い; fact12 -> int4: 仮にあの陸軍病院が済ま無いとすればそれは先進技術だ; int3 & int4 -> int5: 「あの陸軍病院は先進技術だ」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この財投改革はクラックするがしかし法制でない; int7 & fact20 -> hypothesis;
その乖離は先進技術だ
fact26 -> int8: もしもあの陸軍病院が強しとしたらそれは裁判する; fact30 -> int9: もし仮にあの乳児院が深くないとしたら強しししかも鷹派だ; fact29 -> int10: あの乳児院は深くない; int9 & int10 -> int11: あの乳児院は強しし加えて鷹派だ; int11 -> int12: どれもこれもは強ししそれに鷹派だ; int12 -> int13: あの陸軍病院は強しし鷹派だ; int13 -> int14: あの陸軍病院は強し; int8 & int14 -> int15: あの陸軍病院は裁判する; int15 -> int16: とある物は裁判する; int16 & fact25 -> int17: あの良性疾患は済ま無くないけどそれはマシン上だ; int17 -> int18: ある物は済ま無くないがしかしマシン上である; int18 & fact27 -> int19: この財投改革は爆睡する; fact28 & int19 -> hypothesis;
$facts$ = fact1: 「この財投改革は爆睡するし監査手続きである」ということは事実と異なる fact2: もしも「この財投改革は爆睡するけど法制でない」ということは成り立たないならばあの陸軍病院は裁判する fact3: 仮にあの良性疾患が爆睡するし裁判すればこの財投改革はクラックする fact4: もしこの財投改革が先進技術だとすればあの陸軍病院は法制でない fact5: 深くない物は強しししかも鷹派だ fact6: この財投改革は済ま無い fact7: あの陸軍病院は肌寒い fact8: もしなにがしかのものは爆睡すれば「先進技術だ」ということは正しい fact9: 何もかもは深くない fact10: 「済ま無くない一方でマシン上な」物があるとするとこの財投改革は爆睡する fact11: あの陸軍病院はマシン上でない fact12: 済ま無いものは先進技術だ fact13: もしこの財投改革が爆睡するならその乖離は先進技術である fact14: もし仮に「あの良性疾患は爆睡する」ということは成り立つとするとあの陸軍病院は先進技術であるということはない fact15: あの三分二量は爆睡する fact16: あの陸軍病院がクラックするしその上裁判するとしたらこの財投改革は済ま無い fact17: 「この財投改革はクラックするがしかし法制でない」ということは成り立たないとするとあの良性疾患は爆睡する fact18: もし仮に「あの陸軍病院はクラックする」ということは事実だとすればこの財投改革は済ま無い fact19: あの陸軍病院は済ま無いししかも裁判する fact20: もしもこの財投改革がクラックするけど法制でないとするとあの乳児院はマシン上だ fact21: もし仮に何らかの物が強しとしたら裁判する fact22: 仮に「「裁判するということはない」ということは誤りである」物があるとしたらあの良性疾患は済ま無くないけれどマシン上だ fact23: もし仮にあの陸軍病院はクラックするとすれば「この財投改革は法制だ」ということは成り立つ fact24: 「あの陸軍病院は法制であるし裁判する」ということは間違いである ; $hypothesis$ = あの乳児院はマシン上でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この財投改革はクラックするけれど法制でない」ということは成り立たない; fact17 & assump1 -> int1: あの良性疾患は爆睡する; int1 & fact14 -> int2: あの陸軍病院は先進技術でない; fact19 -> int3: あの陸軍病院は済ま無い; fact12 -> int4: 仮にあの陸軍病院が済ま無いとすればそれは先進技術だ; int3 & int4 -> int5: 「あの陸軍病院は先進技術だ」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この財投改革はクラックするがしかし法制でない; int7 & fact20 -> hypothesis; __DISPROVED__
事実1: 「この財投改革は爆睡するし監査手続きである」ということは事実と異なる
事実2: もしも「この財投改革は爆睡するけど法制でない」ということは成り立たないならばあの陸軍病院は裁判する
事実3: 仮にあの良性疾患が爆睡するし裁判すればこの財投改革はクラックする
事実4: もしこの財投改革が先進技術だとすればあの陸軍病院は法制でない
事実5: 深くない物は強しししかも鷹派だ
事実6: この財投改革は済ま無い
事実7: あの陸軍病院は肌寒い
事実8: もしなにがしかのものは爆睡すれば「先進技術だ」ということは正しい
事実9: 何もかもは深くない
事実10: 「済ま無くない一方でマシン上な」物があるとするとこの財投改革は爆睡する
事実11: あの陸軍病院はマシン上でない
事実12: 済ま無いものは先進技術だ
事実13: もしこの財投改革が爆睡するならその乖離は先進技術である
事実14: もし仮に「あの良性疾患は爆睡する」ということは成り立つとするとあの陸軍病院は先進技術であるということはない
事実15: あの三分二量は爆睡する
事実16: あの陸軍病院がクラックするしその上裁判するとしたらこの財投改革は済ま無い
事実17: 「この財投改革はクラックするがしかし法制でない」ということは成り立たないとするとあの良性疾患は爆睡する
事実18: もし仮に「あの陸軍病院はクラックする」ということは事実だとすればこの財投改革は済ま無い
事実19: あの陸軍病院は済ま無いししかも裁判する
事実20: もしもこの財投改革がクラックするけど法制でないとするとあの乳児院はマシン上だ
事実21: もし仮に何らかの物が強しとしたら裁判する
事実22: 仮に「「裁判するということはない」ということは誤りである」物があるとしたらあの良性疾患は済ま無くないけれどマシン上だ
事実23: もし仮にあの陸軍病院はクラックするとすれば「この財投改革は法制だ」ということは成り立つ
事実24: 「あの陸軍病院は法制であるし裁判する」ということは間違いである

仮説: あの乳児院はマシン上でない
1. 仮定1: 以下のように仮定する。「この財投改革はクラックするけれど法制でない」ということは成り立たない
2. 事実17と仮定1から、推論1: "あの良性疾患は爆睡する"が導かれる
3. 推論1と事実14から、推論2: "あの陸軍病院は先進技術でない"が導かれる
4. 事実19から、推論3: "あの陸軍病院は済ま無い"が導かれる
5. 事実12から、推論4: "仮にあの陸軍病院が済ま無いとすればそれは先進技術だ"が導かれる
6. 推論3と推論4から、推論5: "「あの陸軍病院は先進技術だ」ということは成り立つ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この財投改革はクラックするがしかし法制でない"が導かれる
9. 推論7と事実20から、仮説が否定される

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