その実業界は競る
fact1: その実業界は発揮し得る fact2: もしも「「発揮し得ないし与え易くない」ということは成り立たない」ものがあるならその実業界は学士号でない fact3: もし与え易い物は発揮し得れば財務会計でない fact4: その三宮付近は発揮し得る fact5: この典薬寮は胸苦しくない fact6: この典薬寮は結わかない fact7: もしあの渋屋が財務会計でないとすればこの典薬寮は与え易いが発揮し得ない fact8: この典薬寮は競る fact9: このサーカス団は煩わしくないし加えてそれは胸苦しくない fact10: 仮にその実業界は財務会計でないとしたらそれは競る fact11: もしも「あの渋屋は結わかないがしかし政社組織だ」ということは成り立たないなら政社組織であるということはない fact12: もしその実業界が学士号でない一方でそれは胸苦しいなら「その△ＰＶは胸苦しくない」ということは本当だ fact13: あの渋屋が財務会計だとすればその実業界は財務会計だ fact14: もしもその実業界は与え易くないとしたら「それは逞しくないし更にそれは胸苦しいということはない」ということは成り立たない fact15: 仮に「その実業界は逞しくないし胸苦しくない」ということは事実でないとすれば「この典薬寮は学士号である」ということは嘘であるということはない fact16: その実業界は政社組織でなくてそれは胸苦しくない fact17: 「あのアンジェリックは発揮し得ない」ということは成り立つ fact18: このアンサンブルは発揮し得ない fact19: 発揮し得ないしさらに与え易くないという物はない fact20: もし仮にあの渋屋が競るとするとそれは財務会計である fact21: もしあの渋屋は政社組織でないなら財務会計でない fact22: この典薬寮が結わかないとすればそれは学士号でなくて政社組織でない
void -> assump1: 以下のように仮定する。その実業界は与え易くない; fact14 & assump1 -> int1: 「その実業界は逞しくなくてまたそれは胸苦しいということはない」ということは偽だ; int1 & fact15 -> int2: この典薬寮は学士号である; fact22 & fact6 -> int3: この典薬寮は学士号でないし政社組織でない; int3 -> int4: この典薬寮は学士号でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その実業界は与え易い; int6 & fact1 -> int7: その実業界は与え易いしかつ発揮し得る; fact3 -> int8: もしその実業界は与え易くておまけに発揮し得ればそれは財務会計でない; int7 & int8 -> int9: その実業界は財務会計でない; int9 & fact10 -> hypothesis;
その実業界は競らない
$facts$ = fact1: その実業界は発揮し得る fact2: もしも「「発揮し得ないし与え易くない」ということは成り立たない」ものがあるならその実業界は学士号でない fact3: もし与え易い物は発揮し得れば財務会計でない fact4: その三宮付近は発揮し得る fact5: この典薬寮は胸苦しくない fact6: この典薬寮は結わかない fact7: もしあの渋屋が財務会計でないとすればこの典薬寮は与え易いが発揮し得ない fact8: この典薬寮は競る fact9: このサーカス団は煩わしくないし加えてそれは胸苦しくない fact10: 仮にその実業界は財務会計でないとしたらそれは競る fact11: もしも「あの渋屋は結わかないがしかし政社組織だ」ということは成り立たないなら政社組織であるということはない fact12: もしその実業界が学士号でない一方でそれは胸苦しいなら「その△ＰＶは胸苦しくない」ということは本当だ fact13: あの渋屋が財務会計だとすればその実業界は財務会計だ fact14: もしもその実業界は与え易くないとしたら「それは逞しくないし更にそれは胸苦しいということはない」ということは成り立たない fact15: 仮に「その実業界は逞しくないし胸苦しくない」ということは事実でないとすれば「この典薬寮は学士号である」ということは嘘であるということはない fact16: その実業界は政社組織でなくてそれは胸苦しくない fact17: 「あのアンジェリックは発揮し得ない」ということは成り立つ fact18: このアンサンブルは発揮し得ない fact19: 発揮し得ないしさらに与え易くないという物はない fact20: もし仮にあの渋屋が競るとするとそれは財務会計である fact21: もしあの渋屋は政社組織でないなら財務会計でない fact22: この典薬寮が結わかないとすればそれは学士号でなくて政社組織でない ; $hypothesis$ = その実業界は競る ; $proof$ = 
void -> assump1: 以下のように仮定する。その実業界は与え易くない; fact14 & assump1 -> int1: 「その実業界は逞しくなくてまたそれは胸苦しいということはない」ということは偽だ; int1 & fact15 -> int2: この典薬寮は学士号である; fact22 & fact6 -> int3: この典薬寮は学士号でないし政社組織でない; int3 -> int4: この典薬寮は学士号でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その実業界は与え易い; int6 & fact1 -> int7: その実業界は与え易いしかつ発揮し得る; fact3 -> int8: もしその実業界は与え易くておまけに発揮し得ればそれは財務会計でない; int7 & int8 -> int9: その実業界は財務会計でない; int9 & fact10 -> hypothesis; __PROVED__
事実1: その実業界は発揮し得る
事実2: もしも「「発揮し得ないし与え易くない」ということは成り立たない」ものがあるならその実業界は学士号でない
事実3: もし与え易い物は発揮し得れば財務会計でない
事実4: その三宮付近は発揮し得る
事実5: この典薬寮は胸苦しくない
事実6: この典薬寮は結わかない
事実7: もしあの渋屋が財務会計でないとすればこの典薬寮は与え易いが発揮し得ない
事実8: この典薬寮は競る
事実9: このサーカス団は煩わしくないし加えてそれは胸苦しくない
事実10: 仮にその実業界は財務会計でないとしたらそれは競る
事実11: もしも「あの渋屋は結わかないがしかし政社組織だ」ということは成り立たないなら政社組織であるということはない
事実12: もしその実業界が学士号でない一方でそれは胸苦しいなら「その△ＰＶは胸苦しくない」ということは本当だ
事実13: あの渋屋が財務会計だとすればその実業界は財務会計だ
事実14: もしもその実業界は与え易くないとしたら「それは逞しくないし更にそれは胸苦しいということはない」ということは成り立たない
事実15: 仮に「その実業界は逞しくないし胸苦しくない」ということは事実でないとすれば「この典薬寮は学士号である」ということは嘘であるということはない
事実16: その実業界は政社組織でなくてそれは胸苦しくない
事実17: 「あのアンジェリックは発揮し得ない」ということは成り立つ
事実18: このアンサンブルは発揮し得ない
事実19: 発揮し得ないしさらに与え易くないという物はない
事実20: もし仮にあの渋屋が競るとするとそれは財務会計である
事実21: もしあの渋屋は政社組織でないなら財務会計でない
事実22: この典薬寮が結わかないとすればそれは学士号でなくて政社組織でない

仮説: その実業界は競る
1. 仮定1: 以下のように仮定する。その実業界は与え易くない
2. 事実14と仮定1から、推論1: "「その実業界は逞しくなくてまたそれは胸苦しいということはない」ということは偽だ"が導かれる
3. 推論1と事実15から、推論2: "この典薬寮は学士号である"が導かれる
4. 事実22と事実6から、推論3: "この典薬寮は学士号でないし政社組織でない"が導かれる
5. 推論3から、推論4: "この典薬寮は学士号でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その実業界は与え易い"が導かれる
8. 推論6と事実1から、推論7: "その実業界は与え易いしかつ発揮し得る"が導かれる
9. 事実3から、推論8: "もしその実業界は与え易くておまけに発揮し得ればそれは財務会計でない"が導かれる
10. 推論7と推論8から、推論9: "その実業界は財務会計でない"が導かれる
11. 推論9と事実10から、仮説が導かれる

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