その著述は末端機構であるしおまけにそれは待ち伏せる
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: もしある物が不良債権化するけどそれが重ね合わせでないとしたらあの名目金は需要曲線でない fact26: もし「あの名目金は重ね合わせでないかもしくは不良債権化するかあるいは両方だ」ということは成り立たないならばあの力者は不良債権化しない
void -> assump1: 以下のように仮定する。そのマットタイプは不良債権化するがしかし重ね合わせでない; assump1 -> int1: とあるものは不良債権化する一方で重ね合わせでない; int1 & fact25 -> int2: あの名目金は需要曲線でない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのマットタイプは不良債権化するがそれは重ね合わせでない」ということは事実でない; int4 & fact1 -> int5: あの力者は船付き場である; int5 & fact10 -> int6: あの力者は待ち伏せない; int6 & fact9 -> int7: その著述は幅広いししかも待ち伏せる; int7 -> int8: その著述は待ち伏せる; int8 & fact15 -> hypothesis;
「あの力者はそそっかしいがしかし待ち伏せない」ということは間違っている
fact29 -> int9: もし仮にあの力者は不良債権化しないとしたら「それはそそっかしいけれど待ち伏せない」ということは誤りである; fact30 & fact27 -> int10: その被虐待児童は幅広くてそれは宜し; int10 -> int11: その被虐待児童は幅広い; int11 -> int12: ある物は幅広い;
$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: もしある物が不良債権化するけどそれが重ね合わせでないとしたらあの名目金は需要曲線でない fact26: もし「あの名目金は重ね合わせでないかもしくは不良債権化するかあるいは両方だ」ということは成り立たないならばあの力者は不良債権化しない ; $hypothesis$ = その著述は末端機構であるしおまけにそれは待ち伏せる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのマットタイプは不良債権化するがしかし重ね合わせでない; assump1 -> int1: とあるものは不良債権化する一方で重ね合わせでない; int1 & fact25 -> int2: あの名目金は需要曲線でない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのマットタイプは不良債権化するがそれは重ね合わせでない」ということは事実でない; int4 & fact1 -> int5: あの力者は船付き場である; int5 & fact10 -> int6: あの力者は待ち伏せない; int6 & fact9 -> int7: その著述は幅広いししかも待ち伏せる; int7 -> int8: その著述は待ち伏せる; int8 & fact15 -> 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: もしある物が不良債権化するけどそれが重ね合わせでないとしたらあの名目金は需要曲線でない
事実26: もし「あの名目金は重ね合わせでないかもしくは不良債権化するかあるいは両方だ」ということは成り立たないならばあの力者は不良債権化しない

仮説: その著述は末端機構であるしおまけにそれは待ち伏せる
1. 仮定1: 以下のように仮定する。そのマットタイプは不良債権化するがしかし重ね合わせでない
2. 仮定1から、推論1: "とあるものは不良債権化する一方で重ね合わせでない"が導かれる
3. 推論1と事実25から、推論2: "あの名目金は需要曲線でない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのマットタイプは不良債権化するがそれは重ね合わせでない」ということは事実でない"が導かれる
6. 推論4と事実1から、推論5: "あの力者は船付き場である"が導かれる
7. 推論5と事実10から、推論6: "あの力者は待ち伏せない"が導かれる
8. 推論6と事実9から、推論7: "その著述は幅広いししかも待ち伏せる"が導かれる
9. 推論7から、推論8: "その著述は待ち伏せる"が導かれる
10. 推論8と事実15から、仮説が導かれる

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