この足掻きはファンディングストラクチャーだ
fact1: この足掻きはファンディングストラクチャーでないならば「この土坑は再審査請求だがそれはファンディングストラクチャーでない」ということは成り立つということはない fact2: もしもこの土坑はマナスでないとすると再審査請求でない fact3: あの陸海空軍は苦しない fact4: この土坑がマナスでないとすると苦しないし更に再審査請求だということはない fact5: この土坑は再審査請求でない fact6: もし仮にあるものは間違い易いということはないとしたら「それはマナスでないし更に物寂しくない」ということは間違いである fact7: もし仮に「「この足掻きは帝国陸軍であるがマナスでない」ということは成り立つ」ということは事実と異なるとすれば「この絡繰人形はファンディングストラクチャーである」ということは成り立つ fact8: 仮にこの絡繰人形がファンディングストラクチャーならばこの足掻きはファンディングストラクチャーだということはない fact9: この土坑はファンディングストラクチャーでない fact10: この絡繰人形は帝国陸軍であるならば「「この土坑は苦しないし更に再審査請求であるということはない」ということは正しい」ということは誤りだ fact11: もし仮に「この絡繰人形はマナスであるということはないし物寂しくない」ということは真実でないとしたらこの三千万円程度はファンディングストラクチャーでない fact12: もしもこの植木職人が帝国陸軍ならばこの足掻きはファンディングストラクチャーである fact13: なにかは推戴するとすれば「それはけちけちしないけど刺々しい」ということは誤りだ fact14: もしも何らかのものは間違い易くないならば「物寂しくてマナスである」ということは間違いだ fact15: もしあるものがファンディングストラクチャーであるということはないとしたらそれは動作性でなくてそれにそれは帝国陸軍でない fact16: この土坑はマナスでない fact17: もし「なんらかの物は物寂しいしさらにマナスである」ということは誤っているとしたら動作性でない fact18: もし仮に「この絡繰人形は帝国陸軍でない」ということは成り立つとすると「この植木職人は動作性だ一方で帝国陸軍でない」ということは事実と異なる fact19: もし「この土坑は経済開発でない」ということは本当だとしたらこの絡繰人形は推戴する fact20: もしも「この植木職人は動作性であるがしかしそれは帝国陸軍でない」ということは成り立たないとしたら「この足掻きはファンディングストラクチャーだ」ということは本当である fact21: 仮に「あるものはけちけちするということはないけれど刺々しい」ということは真実でないならばそれは間違い易くない
void -> assump1: 以下のように仮定する。この絡繰人形は帝国陸軍である; fact10 & assump1 -> int1: 「この土坑は苦しないしそれは再審査請求でない」ということは成り立たない; fact4 & fact16 -> int2: この土坑は苦しないしそれは再審査請求でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この絡繰人形は帝国陸軍でない; int4 & fact18 -> int5: 「この植木職人は動作性だが帝国陸軍でない」ということは誤りである; int5 & fact20 -> hypothesis;
この三千万円程度は動作性でない
fact23 -> int6: この三千万円程度がファンディングストラクチャーでないならば動作性でないしその上帝国陸軍でない; fact24 -> int7: もし仮に「この絡繰人形は間違い易くない」ということは事実であるならば「それはマナスでなくてその上それは物寂しくない」ということは間違いだ;
$facts$ = fact1: この足掻きはファンディングストラクチャーでないならば「この土坑は再審査請求だがそれはファンディングストラクチャーでない」ということは成り立つということはない fact2: もしもこの土坑はマナスでないとすると再審査請求でない fact3: あの陸海空軍は苦しない fact4: この土坑がマナスでないとすると苦しないし更に再審査請求だということはない fact5: この土坑は再審査請求でない fact6: もし仮にあるものは間違い易いということはないとしたら「それはマナスでないし更に物寂しくない」ということは間違いである fact7: もし仮に「「この足掻きは帝国陸軍であるがマナスでない」ということは成り立つ」ということは事実と異なるとすれば「この絡繰人形はファンディングストラクチャーである」ということは成り立つ fact8: 仮にこの絡繰人形がファンディングストラクチャーならばこの足掻きはファンディングストラクチャーだということはない fact9: この土坑はファンディングストラクチャーでない fact10: この絡繰人形は帝国陸軍であるならば「「この土坑は苦しないし更に再審査請求であるということはない」ということは正しい」ということは誤りだ fact11: もし仮に「この絡繰人形はマナスであるということはないし物寂しくない」ということは真実でないとしたらこの三千万円程度はファンディングストラクチャーでない fact12: もしもこの植木職人が帝国陸軍ならばこの足掻きはファンディングストラクチャーである fact13: なにかは推戴するとすれば「それはけちけちしないけど刺々しい」ということは誤りだ fact14: もしも何らかのものは間違い易くないならば「物寂しくてマナスである」ということは間違いだ fact15: もしあるものがファンディングストラクチャーであるということはないとしたらそれは動作性でなくてそれにそれは帝国陸軍でない fact16: この土坑はマナスでない fact17: もし「なんらかの物は物寂しいしさらにマナスである」ということは誤っているとしたら動作性でない fact18: もし仮に「この絡繰人形は帝国陸軍でない」ということは成り立つとすると「この植木職人は動作性だ一方で帝国陸軍でない」ということは事実と異なる fact19: もし「この土坑は経済開発でない」ということは本当だとしたらこの絡繰人形は推戴する fact20: もしも「この植木職人は動作性であるがしかしそれは帝国陸軍でない」ということは成り立たないとしたら「この足掻きはファンディングストラクチャーだ」ということは本当である fact21: 仮に「あるものはけちけちするということはないけれど刺々しい」ということは真実でないならばそれは間違い易くない ; $hypothesis$ = この足掻きはファンディングストラクチャーだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この絡繰人形は帝国陸軍である; fact10 & assump1 -> int1: 「この土坑は苦しないしそれは再審査請求でない」ということは成り立たない; fact4 & fact16 -> int2: この土坑は苦しないしそれは再審査請求でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この絡繰人形は帝国陸軍でない; int4 & fact18 -> int5: 「この植木職人は動作性だが帝国陸軍でない」ということは誤りである; int5 & fact20 -> hypothesis; __PROVED__
事実1: この足掻きはファンディングストラクチャーでないならば「この土坑は再審査請求だがそれはファンディングストラクチャーでない」ということは成り立つということはない
事実2: もしもこの土坑はマナスでないとすると再審査請求でない
事実3: あの陸海空軍は苦しない
事実4: この土坑がマナスでないとすると苦しないし更に再審査請求だということはない
事実5: この土坑は再審査請求でない
事実6: もし仮にあるものは間違い易いということはないとしたら「それはマナスでないし更に物寂しくない」ということは間違いである
事実7: もし仮に「「この足掻きは帝国陸軍であるがマナスでない」ということは成り立つ」ということは事実と異なるとすれば「この絡繰人形はファンディングストラクチャーである」ということは成り立つ
事実8: 仮にこの絡繰人形がファンディングストラクチャーならばこの足掻きはファンディングストラクチャーだということはない
事実9: この土坑はファンディングストラクチャーでない
事実10: この絡繰人形は帝国陸軍であるならば「「この土坑は苦しないし更に再審査請求であるということはない」ということは正しい」ということは誤りだ
事実11: もし仮に「この絡繰人形はマナスであるということはないし物寂しくない」ということは真実でないとしたらこの三千万円程度はファンディングストラクチャーでない
事実12: もしもこの植木職人が帝国陸軍ならばこの足掻きはファンディングストラクチャーである
事実13: なにかは推戴するとすれば「それはけちけちしないけど刺々しい」ということは誤りだ
事実14: もしも何らかのものは間違い易くないならば「物寂しくてマナスである」ということは間違いだ
事実15: もしあるものがファンディングストラクチャーであるということはないとしたらそれは動作性でなくてそれにそれは帝国陸軍でない
事実16: この土坑はマナスでない
事実17: もし「なんらかの物は物寂しいしさらにマナスである」ということは誤っているとしたら動作性でない
事実18: もし仮に「この絡繰人形は帝国陸軍でない」ということは成り立つとすると「この植木職人は動作性だ一方で帝国陸軍でない」ということは事実と異なる
事実19: もし「この土坑は経済開発でない」ということは本当だとしたらこの絡繰人形は推戴する
事実20: もしも「この植木職人は動作性であるがしかしそれは帝国陸軍でない」ということは成り立たないとしたら「この足掻きはファンディングストラクチャーだ」ということは本当である
事実21: 仮に「あるものはけちけちするということはないけれど刺々しい」ということは真実でないならばそれは間違い易くない

仮説: この足掻きはファンディングストラクチャーだ
1. 仮定1: 以下のように仮定する。この絡繰人形は帝国陸軍である
2. 事実10と仮定1から、推論1: "「この土坑は苦しないしそれは再審査請求でない」ということは成り立たない"が導かれる
3. 事実4と事実16から、推論2: "この土坑は苦しないしそれは再審査請求でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この絡繰人形は帝国陸軍でない"が導かれる
6. 推論4と事実18から、推論5: "「この植木職人は動作性だが帝国陸軍でない」ということは誤りである"が導かれる
7. 推論5と事実20から、仮説が導かれる

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