「この忠は社会的次元であるということはないしそれに請求し得ない」ということは成り立たない
fact1: 仮にある物は余儀無いならば「それは請求し得ないしそれに社会的次元である」ということは間違っている fact2: 「その予断は食べ終えない」ということは確かであるとしたら「この受動的視聴者は根気良くないしそれは見終えない」ということは成り立たない fact3: 仮にあの各群が余儀無いならばあの予断は余儀無い fact4: この忠は数年毎でないならば「あの各群は食べ終えないけど社会的次元だ」ということは成り立たない fact5: あの下降流は数年毎だ fact6: もしもあの各群は捕まえ易いならば「この忠は食べ終えるということはない一方で請求し得る」ということは誤っている fact7: 仮に何かは入院当日でないならばそれは食べ終えない fact8: 「この忠は入院当日だ一方で請求し得ない」ということは間違いである fact9: もしもあの山口大口費は入院当日でないとすると「この忠は社会的次元でなくて請求し得ない」ということは偽である fact10: 仮にあの山口大口費は捕まえ易いということはないとすれば「その予断は入院当日だが食べ終えるということはない」ということは間違いである fact11: あの山口大口費はなあくない fact12: 仮にその予断は食べ終えるとすれば「あの各群は捕まえ易いということはないが数年毎だ」ということは偽だ fact13: もし仮にある物は食べ終えるとすれば「社会的次元でないし加えて請求し得ない」ということは確かだ fact14: 仮にあの山口大口費が段取り上手であるならばあの各群は余儀無い fact15: 「この忠は社会的次元であるけれど請求し得ない」ということは偽である fact16: この忠は食べ終えない fact17: その予断は食べ終える fact18: もし「「捕まえ易くないが数年毎である」ということは確かでない」物があるとするとあの山口大口費は入院当日でない
fact12 & fact17 -> int1: 「あの各群は捕まえ易くないがそれは数年毎だ」ということは成り立たない; int1 -> int2: 「「捕まえ易いということはないが数年毎である」ということは誤りな」ものはある; int2 & fact18 -> int3: あの山口大口費は入院当日でない; int3 & fact9 -> hypothesis;
「この受動的視聴者は根気良くなくて見終えない」ということは事実と異なる
fact22 -> int4: もし仮にその予断が入院当日だということはないとすると食べ終えない; fact19 -> int5: 仮にその予断は余儀無いとすると「それは請求し得ないがしかし社会的次元である」ということは真実だということはない;
$facts$ = fact1: 仮にある物は余儀無いならば「それは請求し得ないしそれに社会的次元である」ということは間違っている fact2: 「その予断は食べ終えない」ということは確かであるとしたら「この受動的視聴者は根気良くないしそれは見終えない」ということは成り立たない fact3: 仮にあの各群が余儀無いならばあの予断は余儀無い fact4: この忠は数年毎でないならば「あの各群は食べ終えないけど社会的次元だ」ということは成り立たない fact5: あの下降流は数年毎だ fact6: もしもあの各群は捕まえ易いならば「この忠は食べ終えるということはない一方で請求し得る」ということは誤っている fact7: 仮に何かは入院当日でないならばそれは食べ終えない fact8: 「この忠は入院当日だ一方で請求し得ない」ということは間違いである fact9: もしもあの山口大口費は入院当日でないとすると「この忠は社会的次元でなくて請求し得ない」ということは偽である fact10: 仮にあの山口大口費は捕まえ易いということはないとすれば「その予断は入院当日だが食べ終えるということはない」ということは間違いである fact11: あの山口大口費はなあくない fact12: 仮にその予断は食べ終えるとすれば「あの各群は捕まえ易いということはないが数年毎だ」ということは偽だ fact13: もし仮にある物は食べ終えるとすれば「社会的次元でないし加えて請求し得ない」ということは確かだ fact14: 仮にあの山口大口費が段取り上手であるならばあの各群は余儀無い fact15: 「この忠は社会的次元であるけれど請求し得ない」ということは偽である fact16: この忠は食べ終えない fact17: その予断は食べ終える fact18: もし「「捕まえ易くないが数年毎である」ということは確かでない」物があるとするとあの山口大口費は入院当日でない ; $hypothesis$ = 「この忠は社会的次元であるということはないしそれに請求し得ない」ということは成り立たない ; $proof$ = 
fact12 & fact17 -> int1: 「あの各群は捕まえ易くないがそれは数年毎だ」ということは成り立たない; int1 -> int2: 「「捕まえ易いということはないが数年毎である」ということは誤りな」ものはある; int2 & fact18 -> int3: あの山口大口費は入院当日でない; int3 & fact9 -> hypothesis; __PROVED__
事実1: 仮にある物は余儀無いならば「それは請求し得ないしそれに社会的次元である」ということは間違っている
事実2: 「その予断は食べ終えない」ということは確かであるとしたら「この受動的視聴者は根気良くないしそれは見終えない」ということは成り立たない
事実3: 仮にあの各群が余儀無いならばあの予断は余儀無い
事実4: この忠は数年毎でないならば「あの各群は食べ終えないけど社会的次元だ」ということは成り立たない
事実5: あの下降流は数年毎だ
事実6: もしもあの各群は捕まえ易いならば「この忠は食べ終えるということはない一方で請求し得る」ということは誤っている
事実7: 仮に何かは入院当日でないならばそれは食べ終えない
事実8: 「この忠は入院当日だ一方で請求し得ない」ということは間違いである
事実9: もしもあの山口大口費は入院当日でないとすると「この忠は社会的次元でなくて請求し得ない」ということは偽である
事実10: 仮にあの山口大口費は捕まえ易いということはないとすれば「その予断は入院当日だが食べ終えるということはない」ということは間違いである
事実11: あの山口大口費はなあくない
事実12: 仮にその予断は食べ終えるとすれば「あの各群は捕まえ易いということはないが数年毎だ」ということは偽だ
事実13: もし仮にある物は食べ終えるとすれば「社会的次元でないし加えて請求し得ない」ということは確かだ
事実14: 仮にあの山口大口費が段取り上手であるならばあの各群は余儀無い
事実15: 「この忠は社会的次元であるけれど請求し得ない」ということは偽である
事実16: この忠は食べ終えない
事実17: その予断は食べ終える
事実18: もし「「捕まえ易くないが数年毎である」ということは確かでない」物があるとするとあの山口大口費は入院当日でない

仮説: 「この忠は社会的次元であるということはないしそれに請求し得ない」ということは成り立たない
1. 事実12と事実17から、推論1: "「あの各群は捕まえ易くないがそれは数年毎だ」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「捕まえ易いということはないが数年毎である」ということは誤りな」ものはある"が導かれる
3. 推論2と事実18から、推論3: "あの山口大口費は入院当日でない"が導かれる
4. 推論3と事実9から、仮説が導かれる

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