あの左右両端は保存・反映しなくて恐れ多いということはない
fact1: もし「猛々しいということはないし加えて大発展でない」物があるとすればあのエゾ狼は同一化さない fact2: 仮にこのエゾ狼が同一化さないとするとあの明細短冊は生き延びない fact3: 仮にそのフロー計算は保存・反映しないとしたら「「あの左右両端は保存・反映するということはないし加えて恐れ多くない」ということは成り立たない」ということは事実と異ならない fact4: 「その手駒は井戸勢だということはないがしかしそれは生き延びる」ということは誤っているとすると「洗い方だ」ということは嘘だ fact5: 「その手駒は保存・反映しなくてそれにそれは洗い方だということはない」ということは嘘だ fact6: 「もしもあの明細短冊は生き延びないならば「その手駒は井戸勢でないけど生き延びる」ということは間違いだ」ということは確かである fact7: もし「このエゾ狼は井戸勢であるか猛々しいということはない」ということは誤りならば「あの明細短冊は井戸勢でない」ということは事実である fact8: 「とあるものはエクスプローラー画面だ一方で予防措置でない」ということは成り立つ fact9: その手駒は洗い方である fact10: 「ある物は猛々しくなくて大発展であるということはない」ということは偽ならば保存・反映しない
void -> assump1: 以下のように仮定する。そのフロー計算は猛々しくなくてその上大発展でない; assump1 -> int1: 「猛々しくないし加えて大発展でない」ものはある; int1 & fact1 -> int2: このエゾ狼は同一化さない; int2 & fact2 -> int3: あの明細短冊は生き延びない; int3 & fact6 -> int4: 「その手駒は井戸勢でないけどそれは生き延びる」ということは誤りだ; int4 & fact4 -> int5: その手駒は洗い方でない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのフロー計算は猛々しくないしさらに大発展でない」ということは間違っている; fact10 -> int8: もし「そのフロー計算は猛々しくないしその上大発展でない」ということは事実と異なるとすると保存・反映するということはない; int7 & int8 -> int9: そのフロー計算は保存・反映しない; int9 & fact3 -> hypothesis;
あの明細短冊は井戸勢でない
$facts$ = fact1: もし「猛々しいということはないし加えて大発展でない」物があるとすればあのエゾ狼は同一化さない fact2: 仮にこのエゾ狼が同一化さないとするとあの明細短冊は生き延びない fact3: 仮にそのフロー計算は保存・反映しないとしたら「「あの左右両端は保存・反映するということはないし加えて恐れ多くない」ということは成り立たない」ということは事実と異ならない fact4: 「その手駒は井戸勢だということはないがしかしそれは生き延びる」ということは誤っているとすると「洗い方だ」ということは嘘だ fact5: 「その手駒は保存・反映しなくてそれにそれは洗い方だということはない」ということは嘘だ fact6: 「もしもあの明細短冊は生き延びないならば「その手駒は井戸勢でないけど生き延びる」ということは間違いだ」ということは確かである fact7: もし「このエゾ狼は井戸勢であるか猛々しいということはない」ということは誤りならば「あの明細短冊は井戸勢でない」ということは事実である fact8: 「とあるものはエクスプローラー画面だ一方で予防措置でない」ということは成り立つ fact9: その手駒は洗い方である fact10: 「ある物は猛々しくなくて大発展であるということはない」ということは偽ならば保存・反映しない ; $hypothesis$ = あの左右両端は保存・反映しなくて恐れ多いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのフロー計算は猛々しくなくてその上大発展でない; assump1 -> int1: 「猛々しくないし加えて大発展でない」ものはある; int1 & fact1 -> int2: このエゾ狼は同一化さない; int2 & fact2 -> int3: あの明細短冊は生き延びない; int3 & fact6 -> int4: 「その手駒は井戸勢でないけどそれは生き延びる」ということは誤りだ; int4 & fact4 -> int5: その手駒は洗い方でない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのフロー計算は猛々しくないしさらに大発展でない」ということは間違っている; fact10 -> int8: もし「そのフロー計算は猛々しくないしその上大発展でない」ということは事実と異なるとすると保存・反映するということはない; int7 & int8 -> int9: そのフロー計算は保存・反映しない; int9 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「猛々しいということはないし加えて大発展でない」物があるとすればあのエゾ狼は同一化さない
事実2: 仮にこのエゾ狼が同一化さないとするとあの明細短冊は生き延びない
事実3: 仮にそのフロー計算は保存・反映しないとしたら「「あの左右両端は保存・反映するということはないし加えて恐れ多くない」ということは成り立たない」ということは事実と異ならない
事実4: 「その手駒は井戸勢だということはないがしかしそれは生き延びる」ということは誤っているとすると「洗い方だ」ということは嘘だ
事実5: 「その手駒は保存・反映しなくてそれにそれは洗い方だということはない」ということは嘘だ
事実6: 「もしもあの明細短冊は生き延びないならば「その手駒は井戸勢でないけど生き延びる」ということは間違いだ」ということは確かである
事実7: もし「このエゾ狼は井戸勢であるか猛々しいということはない」ということは誤りならば「あの明細短冊は井戸勢でない」ということは事実である
事実8: 「とあるものはエクスプローラー画面だ一方で予防措置でない」ということは成り立つ
事実9: その手駒は洗い方である
事実10: 「ある物は猛々しくなくて大発展であるということはない」ということは偽ならば保存・反映しない

仮説: あの左右両端は保存・反映しなくて恐れ多いということはない
1. 仮定1: 以下のように仮定する。そのフロー計算は猛々しくなくてその上大発展でない
2. 仮定1から、推論1: "「猛々しくないし加えて大発展でない」ものはある"が導かれる
3. 推論1と事実1から、推論2: "このエゾ狼は同一化さない"が導かれる
4. 推論2と事実2から、推論3: "あの明細短冊は生き延びない"が導かれる
5. 推論3と事実6から、推論4: "「その手駒は井戸勢でないけどそれは生き延びる」ということは誤りだ"が導かれる
6. 推論4と事実4から、推論5: "その手駒は洗い方でない"が導かれる
7. 推論5と事実9から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「そのフロー計算は猛々しくないしさらに大発展でない」ということは間違っている"が導かれる
9. 事実10から、推論8: "もし「そのフロー計算は猛々しくないしその上大発展でない」ということは事実と異なるとすると保存・反映するということはない"が導かれる
10. 推論7と推論8から、推論9: "そのフロー計算は保存・反映しない"が導かれる
11. 推論9と事実3から、仮説が否定される

よって、仮説が否定されました。