もし仮にこの通常通りが作るならばあの顎伯父は優柔不断さである
fact1: もしもあるものは阻害なら「予測する」ということは本当である fact2: 仮にこの通常通りは隈であるとすると墨守する fact3: もしこの橋底部が作るならそれはＷＩＲＤである fact4: 「その御注文はＷＩＲＤだ」ということは正しい fact5: もしなんらかのものが山深いとするとＷＩＲＤである fact6: 「あの顎伯父は山深いけれど隈でない」ということは誤りである fact7: 「「江戸川沿いだけれど山深くない」ということは間違っている」ものがあるとするとあの橋底部はＷＩＲＤである fact8: 何かは作るがしかし山深くない fact9: 「この通常通りがＷＩＲＤだしそれは山深い」ということは成り立たない fact10: もしこの通常通りは作るとすれば「江戸川沿いであるし加えて山深い」ということは事実と異なる fact11: そのコパ・アメリカは江戸川沿いだ fact12: 「江戸川沿いな」ものがあるとすればこの書類上は係留する fact13: この通常通りは推認出来る fact14: 「「江戸川沿いで山深い」ということは成り立たない」ものはある fact15: 仮になんらかのものは隈なら「優柔不断さだ」ということは成り立つ fact16: もしもその橋底部はだらし無いとすると「予測する」ということは事実と異ならない fact17: 「「その橋底部は隈である一方でＷＩＲＤでない」ということは成り立つ」ということは誤っている fact18: もしもなにかは山深いならばあの橋底部はＷＩＲＤだ fact19: 「江戸川沿いだしそれに山深くない」物はある fact20: もしもこの通常通りは作るとしたら「江戸川沿いであるしさらにそれは山深くない」ということは事実でない fact21: もしもあの橋底部はＷＩＲＤであるとしたら「あの顎伯父は隈である」ということは確かだ
void -> assump1: 以下のように仮定する。この通常通りは作る; fact20 & assump1 -> int1: 「この通常通りが江戸川沿いだけどそれは山深いということはない」ということは間違いである; int1 -> int2: 「「江戸川沿いであるしまた山深くない」ということは間違っている」物はある; int2 & fact7 -> int3: その橋底部はＷＩＲＤである; int3 & fact21 -> int4: あの顎伯父は隈である; fact15 -> int5: もしもあの顎伯父が隈なら優柔不断さだ; int4 & int5 -> int6: あの顎伯父は優柔不断さだ; [assump1] & int6 -> hypothesis;
$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: 以下のように仮定する。この通常通りは作る; fact20 & assump1 -> int1: 「この通常通りが江戸川沿いだけどそれは山深いということはない」ということは間違いである; int1 -> int2: 「「江戸川沿いであるしまた山深くない」ということは間違っている」物はある; int2 & fact7 -> int3: その橋底部はＷＩＲＤである; int3 & fact21 -> int4: あの顎伯父は隈である; fact15 -> int5: もしもあの顎伯父が隈なら優柔不断さだ; int4 & int5 -> int6: あの顎伯父は優柔不断さだ; [assump1] & int6 -> 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. 事実20と仮定1から、推論1: "「この通常通りが江戸川沿いだけどそれは山深いということはない」ということは間違いである"が導かれる
3. 推論1から、推論2: "「「江戸川沿いであるしまた山深くない」ということは間違っている」物はある"が導かれる
4. 推論2と事実7から、推論3: "その橋底部はＷＩＲＤである"が導かれる
5. 推論3と事実21から、推論4: "あの顎伯父は隈である"が導かれる
6. 事実15から、推論5: "もしもあの顎伯父が隈なら優柔不断さだ"が導かれる
7. 推論4と推論5から、推論6: "あの顎伯父は優柔不断さだ"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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