この生産費説は承継でない
fact1: もしも粉薬が粗くないならば承継でない fact2: なにがしかの物が粗くないとすると手段・方法だし粉薬だ fact3: 狡っ辛くないものは粗い fact4: なにがしかの物は手段・方法である一方でそれは大実業家でない fact5: なにがしかの物がもこもこしないとすれば粗い fact6: もし仮にこの文字色が絶命しないしその上表千家でないならばこの生産費説は承継である fact7: 仮にこの大塚久雄著作集がもこもこしないならばあの星占いは承継であるかもしくは狡っ辛くないかまたはどちらもだ fact8: もしこの大塚久雄著作集が忍耐強いとしたらそれは狡っ辛くないかもしくはもこもこしないかあるいはどちらもである fact9: もし「この星占いは粗い」ということは誤りであるということはないとしたらこの大塚久雄著作集は粗くないが粉薬だ fact10: もし仮に「この文字色は絶命しないしまたそれは表千家でない」ということは嘘だとすると「この星占いは粗い」ということは誤りでない fact11: 仮になにかは手段・方法だ一方で大実業家でないとすればこの大塚久雄著作集は忍耐強い
void -> assump1: 以下のように仮定する。「この文字色は絶命しないし加えてそれは表千家でない」ということは間違いだ; fact10 & assump1 -> int1: この星占いは粗い; int1 & fact9 -> int2: 「この大塚久雄著作集は粗くないがしかし粉薬である」ということは本当だ; int2 -> int3: この大塚久雄著作集は粗くない; fact3 -> int4: もし仮にこの大塚久雄著作集が狡っ辛くないとすればそれは粗い; fact5 -> int5: もしこの大塚久雄著作集はもこもこするということはないとすると「粗い」ということは事実だ; fact11 & fact4 -> int6: この大塚久雄著作集は忍耐強い; fact8 & int6 -> int7: この大塚久雄著作集は狡っ辛くないかもしくはそれはもこもこしない; int4 & int5 & int7 -> int8: この大塚久雄著作集は粗い; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この文字色は絶命しなくて表千家でない; int10 & fact6 -> hypothesis;
「この生産費説は承継でない」ということは真実である
fact12 -> int11: もしもこの生産費説は粉薬であるが粗くないとするとそれは承継でない;
$facts$ = fact1: もしも粉薬が粗くないならば承継でない fact2: なにがしかの物が粗くないとすると手段・方法だし粉薬だ fact3: 狡っ辛くないものは粗い fact4: なにがしかの物は手段・方法である一方でそれは大実業家でない fact5: なにがしかの物がもこもこしないとすれば粗い fact6: もし仮にこの文字色が絶命しないしその上表千家でないならばこの生産費説は承継である fact7: 仮にこの大塚久雄著作集がもこもこしないならばあの星占いは承継であるかもしくは狡っ辛くないかまたはどちらもだ fact8: もしこの大塚久雄著作集が忍耐強いとしたらそれは狡っ辛くないかもしくはもこもこしないかあるいはどちらもである fact9: もし「この星占いは粗い」ということは誤りであるということはないとしたらこの大塚久雄著作集は粗くないが粉薬だ fact10: もし仮に「この文字色は絶命しないしまたそれは表千家でない」ということは嘘だとすると「この星占いは粗い」ということは誤りでない fact11: 仮になにかは手段・方法だ一方で大実業家でないとすればこの大塚久雄著作集は忍耐強い ; $hypothesis$ = この生産費説は承継でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この文字色は絶命しないし加えてそれは表千家でない」ということは間違いだ; fact10 & assump1 -> int1: この星占いは粗い; int1 & fact9 -> int2: 「この大塚久雄著作集は粗くないがしかし粉薬である」ということは本当だ; int2 -> int3: この大塚久雄著作集は粗くない; fact3 -> int4: もし仮にこの大塚久雄著作集が狡っ辛くないとすればそれは粗い; fact5 -> int5: もしこの大塚久雄著作集はもこもこするということはないとすると「粗い」ということは事実だ; fact11 & fact4 -> int6: この大塚久雄著作集は忍耐強い; fact8 & int6 -> int7: この大塚久雄著作集は狡っ辛くないかもしくはそれはもこもこしない; int4 & int5 & int7 -> int8: この大塚久雄著作集は粗い; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この文字色は絶命しなくて表千家でない; int10 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも粉薬が粗くないならば承継でない
事実2: なにがしかの物が粗くないとすると手段・方法だし粉薬だ
事実3: 狡っ辛くないものは粗い
事実4: なにがしかの物は手段・方法である一方でそれは大実業家でない
事実5: なにがしかの物がもこもこしないとすれば粗い
事実6: もし仮にこの文字色が絶命しないしその上表千家でないならばこの生産費説は承継である
事実7: 仮にこの大塚久雄著作集がもこもこしないならばあの星占いは承継であるかもしくは狡っ辛くないかまたはどちらもだ
事実8: もしこの大塚久雄著作集が忍耐強いとしたらそれは狡っ辛くないかもしくはもこもこしないかあるいはどちらもである
事実9: もし「この星占いは粗い」ということは誤りであるということはないとしたらこの大塚久雄著作集は粗くないが粉薬だ
事実10: もし仮に「この文字色は絶命しないしまたそれは表千家でない」ということは嘘だとすると「この星占いは粗い」ということは誤りでない
事実11: 仮になにかは手段・方法だ一方で大実業家でないとすればこの大塚久雄著作集は忍耐強い

仮説: この生産費説は承継でない
1. 仮定1: 以下のように仮定する。「この文字色は絶命しないし加えてそれは表千家でない」ということは間違いだ
2. 事実10と仮定1から、推論1: "この星占いは粗い"が導かれる
3. 推論1と事実9から、推論2: "「この大塚久雄著作集は粗くないがしかし粉薬である」ということは本当だ"が導かれる
4. 推論2から、推論3: "この大塚久雄著作集は粗くない"が導かれる
5. 事実3から、推論4: "もし仮にこの大塚久雄著作集が狡っ辛くないとすればそれは粗い"が導かれる
6. 事実5から、推論5: "もしこの大塚久雄著作集はもこもこするということはないとすると「粗い」ということは事実だ"が導かれる
7. 事実11と事実4から、推論6: "この大塚久雄著作集は忍耐強い"が導かれる
8. 事実8と推論6から、推論7: "この大塚久雄著作集は狡っ辛くないかもしくはそれはもこもこしない"が導かれる
9. 推論4と推論5と推論7から、推論8: "この大塚久雄著作集は粗い"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この文字色は絶命しなくて表千家でない"が導かれる
12. 推論10と事実6から、仮説が否定される

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