仮に「この三栗物語はざわざわするしそれにそれは決まり切る」ということは成り立たないとすればこの生物種は企業群でない
fact1: もし「この三栗物語はざわざわするしそれに決まり切る」ということは成り立たないとしたらそれは野太くない fact2: もし仮にこの生物種が漏れ無いとしたらそれは企業群だ fact3: 「空しい物は欲深くない」ということは成り立つ fact4: 「「この三栗物語は野太いということはないがざわざわする」ということは成り立つ」ということは誤っているなら「近寄り難い」ということは事実である fact5: 漏れ無いものは企業群であるということはない fact6: もしなんらかのものが作り易いならばそれは漏れ無い fact7: 仮にこの三栗物語は野太くないとしたら「この生物種は作り易いし近寄り難い」ということは嘘だ fact8: この生物種は企業群だ fact9: もしも「何らかのものは漏れ無くないが近寄り難い」ということは正しくないならそれは決まり切る fact10: もしも「ある物は授乳でない一方でおろおろする」ということは偽だとすると気高し fact11: もし「なにかは作り易いということはないがしかし近寄り難い」ということは成り立たないとすれば漏れ無い fact12: 仮にある物は漏れ無いならば「それは企業群である」ということは成り立つ fact13: もし仮に「なにかは野太いということはないがしかしざわざわする」ということは間違いだとすると「決まり切る」ということは誤りでない fact14: 仮にこの三栗物語は野太くないとすれば「この生物種は作り易くないがしかし近寄り難い」ということは成り立つということはない fact15: もしもこの生物種が作り易いとしたら漏れ無い fact16: 仮に「この三栗物語はざわざわするし加えてそれは近寄り難い」ということは誤っていれば企業群であるということはない fact17: もしも「この三栗物語は決まり切らない」ということは間違いだということはないとするとこの生物種は企業群であるということはない fact18: もしも「この三栗物語はざわざわするしそれに決まり切る」ということは嘘であるならこの生物種は企業群だ fact19: 「この生物種は作り易いしまた近寄り難い」ということは嘘だ fact20: 仮に「この生物種は野太くないが漏れ無い」ということは偽ならざわざわする fact21: もしもこの三栗物語が決まり切らないとしたらそれは野太くない fact22: 仮にこの三栗物語が守り導くとするとおろおろしない
void -> assump1: 以下のように仮定する。「この三栗物語はざわざわするし決まり切る」ということは嘘である; fact1 & assump1 -> int1: 「この三栗物語は野太い」ということは誤っている; int1 & fact14 -> int2: 「「この生物種は作り易くないものであってさらに近寄り難い」ということは成り立つ」ということは成り立つということはない; fact11 -> int3: 「もし「「この生物種は作り易くない一方でそれは近寄り難い」ということは成り立たない」ということは本当ならばこの生物種は漏れ無い」ということは成り立つ; int2 & int3 -> int4: この生物種は漏れ無い; fact5 -> int5: 仮にこの生物種が漏れ無いとすればそれは企業群だということはない; int4 & int5 -> int6: 「この生物種は企業群でない」ということは真実だ; [assump1] & int6 -> 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: 以下のように仮定する。「この三栗物語はざわざわするし決まり切る」ということは嘘である; fact1 & assump1 -> int1: 「この三栗物語は野太い」ということは誤っている; int1 & fact14 -> int2: 「「この生物種は作り易くないものであってさらに近寄り難い」ということは成り立つ」ということは成り立つということはない; fact11 -> int3: 「もし「「この生物種は作り易くない一方でそれは近寄り難い」ということは成り立たない」ということは本当ならばこの生物種は漏れ無い」ということは成り立つ; int2 & int3 -> int4: この生物種は漏れ無い; fact5 -> int5: 仮にこの生物種が漏れ無いとすればそれは企業群だということはない; int4 & int5 -> int6: 「この生物種は企業群でない」ということは真実だ; [assump1] & int6 -> 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. 事実1と仮定1から、推論1: "「この三栗物語は野太い」ということは誤っている"が導かれる
3. 推論1と事実14から、推論2: "「「この生物種は作り易くないものであってさらに近寄り難い」ということは成り立つ」ということは成り立つということはない"が導かれる
4. 事実11から、推論3: "「もし「「この生物種は作り易くない一方でそれは近寄り難い」ということは成り立たない」ということは本当ならばこの生物種は漏れ無い」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "この生物種は漏れ無い"が導かれる
6. 事実5から、推論5: "仮にこの生物種が漏れ無いとすればそれは企業群だということはない"が導かれる
7. 推論4と推論5から、推論6: "「この生物種は企業群でない」ということは真実だ"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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