あの重責は長くてそれは御蔵入りである
fact1: この人財は薄青い fact2: もしもあの重責が薄青くないけどそれが長いとすればこの人財は御蔵入りでない fact3: 仮に「この人財は進み易くないしさらに劇中でない」ということは偽であるならそれは戦線離脱でない fact4: あの重責が御蔵入りだししかも劇中だ fact5: 「あの花梨は劇中だ」ということは成り立つ fact6: 「なにがしかのものは黙りこくらないけど進み易い」ということは成り立たないとすればそれはボトル・ウォーターでない fact7: もしもこの人財が戦線離脱でないけどそれが薄青いとしたらそれは野太いということはない fact8: もし仮に「野太いということはない」ものはあるとしたら「あの重責は長いしおまけにそれは御蔵入りだ」ということは本当である fact9: もし仮にあの花梨は黙りこくらないなら「この人財は進み易いけれどそれは劇中でない」ということは成り立たない fact10: もし仮にある物が戦線離脱でないとすれば黙りこくるし劇中である fact11: その仕様事無しは精神病症状だ fact12: もしもこの人財が進み易いなら戦線離脱であるということはない fact13: あの重責は御蔵入りである fact14: もしもあの花梨は黙りこくらないとすれば「この人財は進み易くなくて劇中であるということはない」ということは誤っている fact15: あの重責は薄青い fact16: 仮に何かは黙りこくるとしたらそれは進み易くない fact17: 「野太い」ものはある fact18: もしもその仕様事無しが野太いがしかし戦線離脱でないならあの重責は戦線離脱でない fact19: もし仮になにかは進み易くないとしたら「長いしそれに御蔵入りだ」ということは成り立つということはない fact20: もし仮に「精神病症状でない」ものがあるとするとこの人財は薄青くて加えて劇中である fact21: 「この人財は進み易いが劇中でない」ということは成り立たない fact22: その仕様事無しが通常攻略でないけれど精神病症状であるならばあの花梨は黙りこくらない fact23: もし野太くない物があるとしたらあの重責は御蔵入りである fact24: その仕様事無しは通常攻略であるということはないけれどそれは精神病症状だ
fact22 & fact24 -> int1: あの花梨は黙りこくらない; int1 & fact14 -> int2: 「この人財は進み易くないし劇中であるということはない」ということは事実と異なる; int2 & fact3 -> int3: この人財は戦線離脱でない; int3 & fact1 -> int4: この人財は戦線離脱でないけれど薄青い; int4 & fact7 -> int5: この人財は野太くない; int5 -> int6: 「野太くない」ものはある; int6 & fact8 -> hypothesis;
「あの重責は長いししかも御蔵入りである」ということは成り立つということはない
fact27 -> int7: あの重責は進み易くないならば「長いしさらにそれは御蔵入りだ」ということは成り立たない; fact28 -> int8: あの重責が黙りこくるとすれば進み易くない; fact26 -> int9: もし仮にあの重責が戦線離脱でないとすればそれは黙りこくるしまた劇中だ;
$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$ = 
fact22 & fact24 -> int1: あの花梨は黙りこくらない; int1 & fact14 -> int2: 「この人財は進み易くないし劇中であるということはない」ということは事実と異なる; int2 & fact3 -> int3: この人財は戦線離脱でない; int3 & fact1 -> int4: この人財は戦線離脱でないけれど薄青い; int4 & fact7 -> int5: この人財は野太くない; int5 -> int6: 「野太くない」ものはある; int6 & fact8 -> hypothesis; __PROVED__
事実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. 事実22と事実24から、推論1: "あの花梨は黙りこくらない"が導かれる
2. 推論1と事実14から、推論2: "「この人財は進み易くないし劇中であるということはない」ということは事実と異なる"が導かれる
3. 推論2と事実3から、推論3: "この人財は戦線離脱でない"が導かれる
4. 推論3と事実1から、推論4: "この人財は戦線離脱でないけれど薄青い"が導かれる
5. 推論4と事実7から、推論5: "この人財は野太くない"が導かれる
6. 推論5から、推論6: "「野太くない」ものはある"が導かれる
7. 推論6と事実8から、仮説が導かれる

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