「この一巡は初期伸長でない」ということは成り立つ
fact1: もしそのタタラが事務職ならその編集ラインは抜き難い fact2: その二層ＦＰＣは飲み込むし取っ付き易い fact3: 「その二層ＦＰＣは茶園面積だけど太いということはない」ということは間違いである fact4: もしあの経済的負担が初期伸長でないとするとこの一巡は初期伸長でないししかも原油でない fact5: その二層ＦＰＣは飲み込めば「茶園面積であるけど太くない」ということは偽である fact6: その二層ＦＰＣは取っ付き易い fact7: もし仮にその二層ＦＰＣは飲み込むとすると「茶園面積であるということはなくておまけに太くない」ということは成り立たない fact8: あの経済的負担は狛犬だ fact9: この囮鮎は合わせ辛い fact10: 狛犬はある fact11: その二層ＦＰＣは取っ付き易いし更に狛犬である fact12: 仮にこの音楽データは茶園面積でないとすれば「その二層ＦＰＣは太くなくてその上原油でない」ということは誤っている fact13: もし「狛犬で初期伸長である」ものがあるならその二層ＦＰＣは御教示頂くということはない fact14: 初期伸長はある fact15: 合わせ辛い物は事務職だけれど一割負担分でない fact16: 「その二層ＦＰＣは茶園面積でないが太い」ということは嘘である fact17: 仮にあの経済的負担が初期伸長でないならこの一巡は原油でない fact18: 仮に「「太くないしまた原油でない」ということは成り立たない」物があるならあの経済的負担は御教示頂かない fact19: もしこの囮鮎が事務職だけれど一割負担分でないならばそのタタラは事務職だ fact20: もしも「「取っ付き易くなくて飲み込むということはない」ということは成り立たない」ものがあればこの音楽データは茶園面積でない fact21: もし仮にその二層ＦＰＣは飲み込むとしたら「茶園面積だということはないけれど太い」ということは間違いだ fact22: もしも「なんらかのものは茶園面積でないしそれに太くない」ということは誤りであるならば御教示頂く fact23: その編集ラインは抜き難いとすると「取っ付き易くないし飲み込まない」ということは嘘である fact24: この一巡は原油でない fact25: 「「飲み込むしさらに狛犬だ」ということは誤りでない」物はある
void -> assump1: 以下のように仮定する。あの経済的負担は初期伸長である; fact8 & assump1 -> int1: あの経済的負担は狛犬だしまた初期伸長だ; int1 -> int2: なにがしかのものは狛犬であるし加えてそれは初期伸長である; int2 & fact13 -> int3: その二層ＦＰＣは御教示頂かない; fact2 -> int4: 「その二層ＦＰＣは飲み込む」ということは事実だ; int4 & fact7 -> int5: 「「その二層ＦＰＣは茶園面積であるということはなくて加えて太くない」ということは成り立つ」ということは事実と異なる; fact22 -> int6: もしも「その二層ＦＰＣは茶園面積でなくてそれに太くない」ということは事実だということはないならばそれは御教示頂く; int5 & int6 -> int7: その二層ＦＰＣは御教示頂く; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの経済的負担は初期伸長でない; int9 & fact4 -> int10: この一巡は初期伸長でなくてかつそれは原油でない; int10 -> hypothesis;
この一巡は初期伸長である
fact31 -> int11: 仮にこの囮鮎が合わせ辛いならばそれは事務職でそれにそれは一割負担分でない; int11 & fact26 -> int12: この囮鮎は事務職だがしかし一割負担分でない; fact32 & int12 -> int13: そのタタラは事務職だ; fact30 & int13 -> int14: その編集ラインは抜き難い; fact33 & int14 -> int15: 「その編集ラインは取っ付き易くなくてしかも飲み込まない」ということは成り立たない; int15 -> int16: 「「取っ付き易いということはないし飲み込まない」ということは成り立つということはない」物はある; int16 & fact28 -> int17: 「この音楽データは茶園面積である」ということは事実でない; fact27 & int17 -> int18: 「その二層ＦＰＣは太くないし原油でない」ということは誤っている; int18 -> int19: 「「太くないし更に原油でない」ということは成り立つということはない」ものはある; int19 & fact29 -> int20: あの経済的負担は御教示頂かない; int20 -> int21: 「御教示頂かない」ものはある;
$facts$ = fact1: もしそのタタラが事務職ならその編集ラインは抜き難い fact2: その二層ＦＰＣは飲み込むし取っ付き易い fact3: 「その二層ＦＰＣは茶園面積だけど太いということはない」ということは間違いである fact4: もしあの経済的負担が初期伸長でないとするとこの一巡は初期伸長でないししかも原油でない fact5: その二層ＦＰＣは飲み込めば「茶園面積であるけど太くない」ということは偽である fact6: その二層ＦＰＣは取っ付き易い fact7: もし仮にその二層ＦＰＣは飲み込むとすると「茶園面積であるということはなくておまけに太くない」ということは成り立たない fact8: あの経済的負担は狛犬だ fact9: この囮鮎は合わせ辛い fact10: 狛犬はある fact11: その二層ＦＰＣは取っ付き易いし更に狛犬である fact12: 仮にこの音楽データは茶園面積でないとすれば「その二層ＦＰＣは太くなくてその上原油でない」ということは誤っている fact13: もし「狛犬で初期伸長である」ものがあるならその二層ＦＰＣは御教示頂くということはない fact14: 初期伸長はある fact15: 合わせ辛い物は事務職だけれど一割負担分でない fact16: 「その二層ＦＰＣは茶園面積でないが太い」ということは嘘である fact17: 仮にあの経済的負担が初期伸長でないならこの一巡は原油でない fact18: 仮に「「太くないしまた原油でない」ということは成り立たない」物があるならあの経済的負担は御教示頂かない fact19: もしこの囮鮎が事務職だけれど一割負担分でないならばそのタタラは事務職だ fact20: もしも「「取っ付き易くなくて飲み込むということはない」ということは成り立たない」ものがあればこの音楽データは茶園面積でない fact21: もし仮にその二層ＦＰＣは飲み込むとしたら「茶園面積だということはないけれど太い」ということは間違いだ fact22: もしも「なんらかのものは茶園面積でないしそれに太くない」ということは誤りであるならば御教示頂く fact23: その編集ラインは抜き難いとすると「取っ付き易くないし飲み込まない」ということは嘘である fact24: この一巡は原油でない fact25: 「「飲み込むしさらに狛犬だ」ということは誤りでない」物はある ; $hypothesis$ = 「この一巡は初期伸長でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの経済的負担は初期伸長である; fact8 & assump1 -> int1: あの経済的負担は狛犬だしまた初期伸長だ; int1 -> int2: なにがしかのものは狛犬であるし加えてそれは初期伸長である; int2 & fact13 -> int3: その二層ＦＰＣは御教示頂かない; fact2 -> int4: 「その二層ＦＰＣは飲み込む」ということは事実だ; int4 & fact7 -> int5: 「「その二層ＦＰＣは茶園面積であるということはなくて加えて太くない」ということは成り立つ」ということは事実と異なる; fact22 -> int6: もしも「その二層ＦＰＣは茶園面積でなくてそれに太くない」ということは事実だということはないならばそれは御教示頂く; int5 & int6 -> int7: その二層ＦＰＣは御教示頂く; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの経済的負担は初期伸長でない; int9 & fact4 -> int10: この一巡は初期伸長でなくてかつそれは原油でない; int10 -> hypothesis; __PROVED__
事実1: もしそのタタラが事務職ならその編集ラインは抜き難い
事実2: その二層ＦＰＣは飲み込むし取っ付き易い
事実3: 「その二層ＦＰＣは茶園面積だけど太いということはない」ということは間違いである
事実4: もしあの経済的負担が初期伸長でないとするとこの一巡は初期伸長でないししかも原油でない
事実5: その二層ＦＰＣは飲み込めば「茶園面積であるけど太くない」ということは偽である
事実6: その二層ＦＰＣは取っ付き易い
事実7: もし仮にその二層ＦＰＣは飲み込むとすると「茶園面積であるということはなくておまけに太くない」ということは成り立たない
事実8: あの経済的負担は狛犬だ
事実9: この囮鮎は合わせ辛い
事実10: 狛犬はある
事実11: その二層ＦＰＣは取っ付き易いし更に狛犬である
事実12: 仮にこの音楽データは茶園面積でないとすれば「その二層ＦＰＣは太くなくてその上原油でない」ということは誤っている
事実13: もし「狛犬で初期伸長である」ものがあるならその二層ＦＰＣは御教示頂くということはない
事実14: 初期伸長はある
事実15: 合わせ辛い物は事務職だけれど一割負担分でない
事実16: 「その二層ＦＰＣは茶園面積でないが太い」ということは嘘である
事実17: 仮にあの経済的負担が初期伸長でないならこの一巡は原油でない
事実18: 仮に「「太くないしまた原油でない」ということは成り立たない」物があるならあの経済的負担は御教示頂かない
事実19: もしこの囮鮎が事務職だけれど一割負担分でないならばそのタタラは事務職だ
事実20: もしも「「取っ付き易くなくて飲み込むということはない」ということは成り立たない」ものがあればこの音楽データは茶園面積でない
事実21: もし仮にその二層ＦＰＣは飲み込むとしたら「茶園面積だということはないけれど太い」ということは間違いだ
事実22: もしも「なんらかのものは茶園面積でないしそれに太くない」ということは誤りであるならば御教示頂く
事実23: その編集ラインは抜き難いとすると「取っ付き易くないし飲み込まない」ということは嘘である
事実24: この一巡は原油でない
事実25: 「「飲み込むしさらに狛犬だ」ということは誤りでない」物はある

仮説: 「この一巡は初期伸長でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。あの経済的負担は初期伸長である
2. 事実8と仮定1から、推論1: "あの経済的負担は狛犬だしまた初期伸長だ"が導かれる
3. 推論1から、推論2: "なにがしかのものは狛犬であるし加えてそれは初期伸長である"が導かれる
4. 推論2と事実13から、推論3: "その二層ＦＰＣは御教示頂かない"が導かれる
5. 事実2から、推論4: "「その二層ＦＰＣは飲み込む」ということは事実だ"が導かれる
6. 推論4と事実7から、推論5: "「「その二層ＦＰＣは茶園面積であるということはなくて加えて太くない」ということは成り立つ」ということは事実と異なる"が導かれる
7. 事実22から、推論6: "もしも「その二層ＦＰＣは茶園面積でなくてそれに太くない」ということは事実だということはないならばそれは御教示頂く"が導かれる
8. 推論5と推論6から、推論7: "その二層ＦＰＣは御教示頂く"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの経済的負担は初期伸長でない"が導かれる
11. 推論9と事実4から、推論10: "この一巡は初期伸長でなくてかつそれは原油でない"が導かれる
12. 推論10から、仮説が導かれる

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