「この馬群は母斑でないし古しない」ということは成り立つということはない
fact1: このストーカー行為は流用出来ない fact2: その胡座が大喧嘩するとすればあの組織レベルは裨益する fact3: その給水タンクは流用出来る fact4: もし仮にこの馬群は洗濯でないなら母斑でないし古しない fact5: その胡座は会員企業である fact6: もし仮にその給水タンクが減農薬・低農薬でないとするとこのストーカー行為は母斑でない fact7: このストーカー行為は減農薬・低農薬だ fact8: もし受け難い物が流用出来るとしたらその給水タンクは減農薬・低農薬でない fact9: このストーカー行為は有り過ぎるしさらに二列互生葉序だ fact10: もしこのストーカー行為は母斑でないとすると「「この馬群は母斑でないし古しない」ということは正しい」ということは真実でない fact11: その都市像は洗濯だ fact12: 「もし仮に「何らかの物は洗濯だということはないかあるいはそれは繋がり合うかあるいは両方である」ということは成り立たないとすると「裨益する」ということは本当だ」ということは嘘でない fact13: その胡座は大喧嘩するしかつそれは会員企業だ fact14: 「その都市像は洗濯である」ということは嘘でないならこの自由エネルギーは繋がり合う fact15: もし仮に「その組織レベルは流用出来ない」ということは真実だとすれば「このストーカー行為は流用出来ないし母斑だということはない」ということは偽である fact16: もしもこの自由エネルギーが通じ易いとしたらその組織レベルは受け難い fact17: もし仮にとあるものが裨益するとしたらそれは流用出来る fact18: もし仮になにかは繋がり合うとすれば「それは通じ易い」ということは成り立つ fact19: 「この自由エネルギーは繋がり合うということはないしまたそれは母斑でない」ということは誤りだ fact20: もしもその都市像が繋がり合わないがそれが洗濯ならばこの馬群は洗濯でない fact21: その給水タンクは大喧嘩する
fact14 & fact11 -> int1: この自由エネルギーは繋がり合う; fact18 -> int2: 仮にこの自由エネルギーは繋がり合えば「それは通じ易い」ということは事実だ; int1 & int2 -> int3: 「この自由エネルギーは通じ易い」ということは確かである; int3 & fact16 -> int4: その組織レベルは受け難い; fact13 -> int5: その胡座は大喧嘩する; int5 & fact2 -> int6: その組織レベルは裨益する; fact17 -> int7: もしもその組織レベルが裨益するとすればそれは流用出来る; int6 & int7 -> int8: その組織レベルは流用出来る; int4 & int8 -> int9: その組織レベルは受け難いし加えて流用出来る; int9 -> int10: 「受け難いししかも流用出来る」ものはある; int10 & fact8 -> int11: 「その給水タンクは減農薬・低農薬でない」ということは成り立つ; int11 & fact6 -> int12: このストーカー行為は母斑でない; int12 & fact10 -> hypothesis;
その胡座は裨益する
fact22 -> int13: 「「その胡座は洗濯でないか繋がり合うかどちらもである」ということは誤りであるとするとその胡座は裨益する」ということは成り立つ;
$facts$ = fact1: このストーカー行為は流用出来ない fact2: その胡座が大喧嘩するとすればあの組織レベルは裨益する fact3: その給水タンクは流用出来る fact4: もし仮にこの馬群は洗濯でないなら母斑でないし古しない fact5: その胡座は会員企業である fact6: もし仮にその給水タンクが減農薬・低農薬でないとするとこのストーカー行為は母斑でない fact7: このストーカー行為は減農薬・低農薬だ fact8: もし受け難い物が流用出来るとしたらその給水タンクは減農薬・低農薬でない fact9: このストーカー行為は有り過ぎるしさらに二列互生葉序だ fact10: もしこのストーカー行為は母斑でないとすると「「この馬群は母斑でないし古しない」ということは正しい」ということは真実でない fact11: その都市像は洗濯だ fact12: 「もし仮に「何らかの物は洗濯だということはないかあるいはそれは繋がり合うかあるいは両方である」ということは成り立たないとすると「裨益する」ということは本当だ」ということは嘘でない fact13: その胡座は大喧嘩するしかつそれは会員企業だ fact14: 「その都市像は洗濯である」ということは嘘でないならこの自由エネルギーは繋がり合う fact15: もし仮に「その組織レベルは流用出来ない」ということは真実だとすれば「このストーカー行為は流用出来ないし母斑だということはない」ということは偽である fact16: もしもこの自由エネルギーが通じ易いとしたらその組織レベルは受け難い fact17: もし仮にとあるものが裨益するとしたらそれは流用出来る fact18: もし仮になにかは繋がり合うとすれば「それは通じ易い」ということは成り立つ fact19: 「この自由エネルギーは繋がり合うということはないしまたそれは母斑でない」ということは誤りだ fact20: もしもその都市像が繋がり合わないがそれが洗濯ならばこの馬群は洗濯でない fact21: その給水タンクは大喧嘩する ; $hypothesis$ = 「この馬群は母斑でないし古しない」ということは成り立つということはない ; $proof$ = 
fact14 & fact11 -> int1: この自由エネルギーは繋がり合う; fact18 -> int2: 仮にこの自由エネルギーは繋がり合えば「それは通じ易い」ということは事実だ; int1 & int2 -> int3: 「この自由エネルギーは通じ易い」ということは確かである; int3 & fact16 -> int4: その組織レベルは受け難い; fact13 -> int5: その胡座は大喧嘩する; int5 & fact2 -> int6: その組織レベルは裨益する; fact17 -> int7: もしもその組織レベルが裨益するとすればそれは流用出来る; int6 & int7 -> int8: その組織レベルは流用出来る; int4 & int8 -> int9: その組織レベルは受け難いし加えて流用出来る; int9 -> int10: 「受け難いししかも流用出来る」ものはある; int10 & fact8 -> int11: 「その給水タンクは減農薬・低農薬でない」ということは成り立つ; int11 & fact6 -> int12: このストーカー行為は母斑でない; int12 & fact10 -> hypothesis; __PROVED__
事実1: このストーカー行為は流用出来ない
事実2: その胡座が大喧嘩するとすればあの組織レベルは裨益する
事実3: その給水タンクは流用出来る
事実4: もし仮にこの馬群は洗濯でないなら母斑でないし古しない
事実5: その胡座は会員企業である
事実6: もし仮にその給水タンクが減農薬・低農薬でないとするとこのストーカー行為は母斑でない
事実7: このストーカー行為は減農薬・低農薬だ
事実8: もし受け難い物が流用出来るとしたらその給水タンクは減農薬・低農薬でない
事実9: このストーカー行為は有り過ぎるしさらに二列互生葉序だ
事実10: もしこのストーカー行為は母斑でないとすると「「この馬群は母斑でないし古しない」ということは正しい」ということは真実でない
事実11: その都市像は洗濯だ
事実12: 「もし仮に「何らかの物は洗濯だということはないかあるいはそれは繋がり合うかあるいは両方である」ということは成り立たないとすると「裨益する」ということは本当だ」ということは嘘でない
事実13: その胡座は大喧嘩するしかつそれは会員企業だ
事実14: 「その都市像は洗濯である」ということは嘘でないならこの自由エネルギーは繋がり合う
事実15: もし仮に「その組織レベルは流用出来ない」ということは真実だとすれば「このストーカー行為は流用出来ないし母斑だということはない」ということは偽である
事実16: もしもこの自由エネルギーが通じ易いとしたらその組織レベルは受け難い
事実17: もし仮にとあるものが裨益するとしたらそれは流用出来る
事実18: もし仮になにかは繋がり合うとすれば「それは通じ易い」ということは成り立つ
事実19: 「この自由エネルギーは繋がり合うということはないしまたそれは母斑でない」ということは誤りだ
事実20: もしもその都市像が繋がり合わないがそれが洗濯ならばこの馬群は洗濯でない
事実21: その給水タンクは大喧嘩する

仮説: 「この馬群は母斑でないし古しない」ということは成り立つということはない
1. 事実14と事実11から、推論1: "この自由エネルギーは繋がり合う"が導かれる
2. 事実18から、推論2: "仮にこの自由エネルギーは繋がり合えば「それは通じ易い」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "「この自由エネルギーは通じ易い」ということは確かである"が導かれる
4. 推論3と事実16から、推論4: "その組織レベルは受け難い"が導かれる
5. 事実13から、推論5: "その胡座は大喧嘩する"が導かれる
6. 推論5と事実2から、推論6: "その組織レベルは裨益する"が導かれる
7. 事実17から、推論7: "もしもその組織レベルが裨益するとすればそれは流用出来る"が導かれる
8. 推論6と推論7から、推論8: "その組織レベルは流用出来る"が導かれる
9. 推論4と推論8から、推論9: "その組織レベルは受け難いし加えて流用出来る"が導かれる
10. 推論9から、推論10: "「受け難いししかも流用出来る」ものはある"が導かれる
11. 推論10と事実8から、推論11: "「その給水タンクは減農薬・低農薬でない」ということは成り立つ"が導かれる
12. 推論11と事実6から、推論12: "このストーカー行為は母斑でない"が導かれる
13. 推論12と事実10から、仮説が導かれる

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