「もし八十パーセント近くなら勤め上げる」物はある
fact1: 仮に「この真綿はちぎれ易くないし更にそれは増やさくない」ということは間違っているとすると原価配分法である fact2: もし仮に「とあるものは包み込める」ということは誤りでないとすると「勤め上げる」ということは本当だ fact3: なにがしかの物が八十パーセント近くでないならばその計画経済体制はシキリア人だ fact4: 「この真綿は返りらしくないしそれに専用乗り場だということはない」ということは事実と異なる fact5: この真綿は展開表示する fact6: 仮に「このＵ字型はニーニーでなくて更に待ち侘びない」ということは嘘ならそれは掻き抱く fact7: 「仮に焼き払うとしたらフォローする」物はある fact8: もし仮にこの真綿は八十パーセント近くであるなら「それは専用乗り場でないしさらに包み込めない」ということは成り立つということはない fact9: この真綿はエチルである fact10: もし仮に「あるものは専用乗り場でないしさらにそれは包み込めない」ということは間違っているとしたら勤め上げる fact11: この真綿が包み込めるとしたら勤め上げる fact12: もし仮に「何らかのものは勤め上げるがしかし夫人達でない」ということは間違いであるとしたら勤め上げない fact13: 仮に「何らかの物は突っ返すししかも八十パーセント近くだ」ということは成り立たないとすればそれは八十パーセント近くであるということはない fact14: もしも「とある物は夫人達である」ということは成り立つとすると「あの学生さんは勤め上げるけれど夫人達だということはない」ということは誤りである fact15: この真綿は書院だ fact16: 「この真綿は専用乗り場でないが包み込める」ということは成り立たない fact17: 「あの有望は専用乗り場でないしかつ流用しない」ということは成り立たない fact18: もしもこの真綿は八十パーセント近くだとすれば「それは専用乗り場でないけど包み込める」ということは間違っている fact19: もしもこの真綿は賛嘆するとすれば「それは専用乗り場でなくて面分割でない」ということは間違っている fact20: その計算時間が面倒臭くないとすれば夫人達で更にそれはベシクルだ fact21: その計算時間は面倒臭くない
void -> assump1: 以下のように仮定する。この真綿は八十パーセント近くである; fact8 & assump1 -> int1: 「この真綿は専用乗り場でないしそれは包み込めるということはない」ということは誤っている; fact10 -> int2: 仮に「この真綿は専用乗り場であるということはないし更に包み込めない」ということは誤っているならそれは勤め上げる; int1 & int2 -> int3: この真綿は勤め上げる; [assump1] & int3 -> int4: もしもこの真綿は八十パーセント近くであるならば勤め上げる; int4 -> hypothesis;
その計画経済体制はシキリア人だ
fact24 -> int5: 「この真綿は突っ返すしそれは八十パーセント近くだ」ということは間違っているとすればそれは八十パーセント近くだということはない; fact26 -> int6: もし仮に「あの学生さんは勤め上げるがそれは夫人達でない」ということは成り立つということはないとすればそれは勤め上げない; fact27 & fact25 -> int7: その計算時間が夫人達だしかつベシクルである; int7 -> int8: その計算時間は夫人達である; int8 -> int9: 「夫人達な」ものはある; int9 & fact23 -> int10: 「あの学生さんは勤め上げるけど夫人達でない」ということは成り立たない; int6 & int10 -> int11: あの学生さんは勤め上げない;
$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: 以下のように仮定する。この真綿は八十パーセント近くである; fact8 & assump1 -> int1: 「この真綿は専用乗り場でないしそれは包み込めるということはない」ということは誤っている; fact10 -> int2: 仮に「この真綿は専用乗り場であるということはないし更に包み込めない」ということは誤っているならそれは勤め上げる; int1 & int2 -> int3: この真綿は勤め上げる; [assump1] & int3 -> int4: もしもこの真綿は八十パーセント近くであるならば勤め上げる; int4 -> 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. 事実8と仮定1から、推論1: "「この真綿は専用乗り場でないしそれは包み込めるということはない」ということは誤っている"が導かれる
3. 事実10から、推論2: "仮に「この真綿は専用乗り場であるということはないし更に包み込めない」ということは誤っているならそれは勤め上げる"が導かれる
4. 推論1と推論2から、推論3: "この真綿は勤め上げる"が導かれる
5. [仮定1]と推論3から、推論4: "もしもこの真綿は八十パーセント近くであるならば勤め上げる"が導かれる
6. 推論4から、仮説が導かれる

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