もし「そのＩＣ工場は自然乾燥する」ということは成り立つとすればその三十九年版日記故事は痛み易くない
fact1: そのＩＣ工場は撥ね回るしおまけに開腹する fact2: もしも何かは開腹するということはないとすると自然乾燥しない fact3: もしある物は自然乾燥するということはないとしたら「それは撥ね回らないしかつそれはかどわかす」ということは成り立たない fact4: 仮にそのＩＣ工場がかどわかすしそれが自然乾燥するとすればその三十九年版日記故事は開腹しない fact5: その三十九年版日記故事は比較考察する fact6: 仮にそのＩＣ工場が開腹するならその三十九年版日記故事は自然乾燥しない fact7: そのＩＣ工場は撥ね回る fact8: そのＩＣ工場は有罪である fact9: そのＩＣ工場はかどわかすし撥ね回る fact10: その三十九年版日記故事は撥ね回る fact11: 「その三十九年版日記故事は痛み易い」ということは成り立つ fact12: もしも「そのＩＣ工場は撥ね回らないがしかしかどわかす」ということは事実でないとしたらあの蓄財は痛み易くない fact13: その三十九年版日記故事が開腹しないなら痛み易くない fact14: そのＩＣ工場が自然乾燥すればその三十九年版日記故事は痛み易い fact15: そのＩＣ工場は痛み易くない fact16: もしもその三十九年版日記故事が開腹しないなら痛み易い
fact9 -> int1: そのＩＣ工場はかどわかす; void -> assump1: 以下のように仮定する。そのＩＣ工場は自然乾燥する; int1 & assump1 -> int2: そのＩＣ工場はかどわかすしかつ自然乾燥する; int2 & fact4 -> int3: その三十九年版日記故事は開腹しない; int3 & fact13 -> int4: その三十九年版日記故事は痛み易くない; [assump1] & int4 -> hypothesis;
「あの蓄財は痛み易くない」ということは真実だ
fact18 -> int5: 仮に「そのＩＣ工場は自然乾燥しない」ということは正しいならば「それは撥ね回らないがしかしかどわかす」ということは間違っている; fact17 -> int6: もし仮にそのＩＣ工場が開腹するということはないとすると自然乾燥しない;
$facts$ = fact1: そのＩＣ工場は撥ね回るしおまけに開腹する fact2: もしも何かは開腹するということはないとすると自然乾燥しない fact3: もしある物は自然乾燥するということはないとしたら「それは撥ね回らないしかつそれはかどわかす」ということは成り立たない fact4: 仮にそのＩＣ工場がかどわかすしそれが自然乾燥するとすればその三十九年版日記故事は開腹しない fact5: その三十九年版日記故事は比較考察する fact6: 仮にそのＩＣ工場が開腹するならその三十九年版日記故事は自然乾燥しない fact7: そのＩＣ工場は撥ね回る fact8: そのＩＣ工場は有罪である fact9: そのＩＣ工場はかどわかすし撥ね回る fact10: その三十九年版日記故事は撥ね回る fact11: 「その三十九年版日記故事は痛み易い」ということは成り立つ fact12: もしも「そのＩＣ工場は撥ね回らないがしかしかどわかす」ということは事実でないとしたらあの蓄財は痛み易くない fact13: その三十九年版日記故事が開腹しないなら痛み易くない fact14: そのＩＣ工場が自然乾燥すればその三十九年版日記故事は痛み易い fact15: そのＩＣ工場は痛み易くない fact16: もしもその三十九年版日記故事が開腹しないなら痛み易い ; $hypothesis$ = もし「そのＩＣ工場は自然乾燥する」ということは成り立つとすればその三十九年版日記故事は痛み易くない ; $proof$ = 
fact9 -> int1: そのＩＣ工場はかどわかす; void -> assump1: 以下のように仮定する。そのＩＣ工場は自然乾燥する; int1 & assump1 -> int2: そのＩＣ工場はかどわかすしかつ自然乾燥する; int2 & fact4 -> int3: その三十九年版日記故事は開腹しない; int3 & fact13 -> int4: その三十九年版日記故事は痛み易くない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: そのＩＣ工場は撥ね回るしおまけに開腹する
事実2: もしも何かは開腹するということはないとすると自然乾燥しない
事実3: もしある物は自然乾燥するということはないとしたら「それは撥ね回らないしかつそれはかどわかす」ということは成り立たない
事実4: 仮にそのＩＣ工場がかどわかすしそれが自然乾燥するとすればその三十九年版日記故事は開腹しない
事実5: その三十九年版日記故事は比較考察する
事実6: 仮にそのＩＣ工場が開腹するならその三十九年版日記故事は自然乾燥しない
事実7: そのＩＣ工場は撥ね回る
事実8: そのＩＣ工場は有罪である
事実9: そのＩＣ工場はかどわかすし撥ね回る
事実10: その三十九年版日記故事は撥ね回る
事実11: 「その三十九年版日記故事は痛み易い」ということは成り立つ
事実12: もしも「そのＩＣ工場は撥ね回らないがしかしかどわかす」ということは事実でないとしたらあの蓄財は痛み易くない
事実13: その三十九年版日記故事が開腹しないなら痛み易くない
事実14: そのＩＣ工場が自然乾燥すればその三十九年版日記故事は痛み易い
事実15: そのＩＣ工場は痛み易くない
事実16: もしもその三十九年版日記故事が開腹しないなら痛み易い

仮説: もし「そのＩＣ工場は自然乾燥する」ということは成り立つとすればその三十九年版日記故事は痛み易くない
1. 事実9から、推論1: "そのＩＣ工場はかどわかす"が導かれる
2. 仮定1: 以下のように仮定する。そのＩＣ工場は自然乾燥する
3. 推論1と仮定1から、推論2: "そのＩＣ工場はかどわかすしかつ自然乾燥する"が導かれる
4. 推論2と事実4から、推論3: "その三十九年版日記故事は開腹しない"が導かれる
5. 推論3と事実13から、推論4: "その三十九年版日記故事は痛み易くない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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