「あの二価は薄青くないし加えて判読出来ない」ということは成り立たない
fact1: 「あの二価は薄青いが判読出来ない」ということは成り立たない fact2: それは薄青くないしそれは判読出来るということはないというものはない fact3: 「この全国連合は驕りでないしかつそれは名状し難くない」ということは誤っている fact4: やんごとなくない物は肯定出来るしその上プログラムビューである fact5: それは埃っぽいしそれに始末出来ないというものはない fact6: それは都市鉄道でないし肯定出来るということはないというものはない fact7: 「仮に「とある物は引き出し易くないしまた充放電しない」ということは誤っていれば「それはやんごとなくない」ということは真実だ」ということは本当である fact8: 「「あの二価は薄青くないがそれは判読出来る」ということは確かだ」ということは成り立つということはない fact9: もし「あるものは掴み易くない」ということは偽でないなら「木捻子でないし更にそれは輸入出来ない」ということは成り立たない fact10: 引き出し易いということはないし更に充放電しないという物はない fact11: それが付着するしその上それはラジオ放送しないというものはない fact12: それは縺れ込むがしかし都市鉄道でないというものはない fact13: 「許し難くないしさらに黒い物はない」ということは嘘であるということはない
fact2 -> hypothesis;
fact2 -> hypothesis;
それは木捻子でないしおまけに輸入出来ないというものはない
fact16 -> int1: もしもこの公開市場操作は掴み易くないとすれば「それは木捻子でないし輸入出来ない」ということは間違いだ; fact15 -> int2: 仮に「この公開市場操作は引き出し易いということはないしおまけにそれは充放電しない」ということは成り立たないとすればそれはやんごとなくない; fact17 -> int3: 「この公開市場操作は引き出し易くないししかもそれは充放電しない」ということは成り立たない; int2 & int3 -> int4: この公開市場操作はやんごとなくない; fact14 -> int5: もしこの公開市場操作はやんごとなくないとすれば「肯定出来るし更にそれはプログラムビューだ」ということは事実である; int4 & int5 -> int6: この公開市場操作は肯定出来るし加えてプログラムビューである; int6 -> int7: この公開市場操作は肯定出来る;
$facts$ = fact1: 「あの二価は薄青いが判読出来ない」ということは成り立たない fact2: それは薄青くないしそれは判読出来るということはないというものはない fact3: 「この全国連合は驕りでないしかつそれは名状し難くない」ということは誤っている fact4: やんごとなくない物は肯定出来るしその上プログラムビューである fact5: それは埃っぽいしそれに始末出来ないというものはない fact6: それは都市鉄道でないし肯定出来るということはないというものはない fact7: 「仮に「とある物は引き出し易くないしまた充放電しない」ということは誤っていれば「それはやんごとなくない」ということは真実だ」ということは本当である fact8: 「「あの二価は薄青くないがそれは判読出来る」ということは確かだ」ということは成り立つということはない fact9: もし「あるものは掴み易くない」ということは偽でないなら「木捻子でないし更にそれは輸入出来ない」ということは成り立たない fact10: 引き出し易いということはないし更に充放電しないという物はない fact11: それが付着するしその上それはラジオ放送しないというものはない fact12: それは縺れ込むがしかし都市鉄道でないというものはない fact13: 「許し難くないしさらに黒い物はない」ということは嘘であるということはない ; $hypothesis$ = 「あの二価は薄青くないし加えて判読出来ない」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「あの二価は薄青いが判読出来ない」ということは成り立たない
事実2: それは薄青くないしそれは判読出来るということはないというものはない
事実3: 「この全国連合は驕りでないしかつそれは名状し難くない」ということは誤っている
事実4: やんごとなくない物は肯定出来るしその上プログラムビューである
事実5: それは埃っぽいしそれに始末出来ないというものはない
事実6: それは都市鉄道でないし肯定出来るということはないというものはない
事実7: 「仮に「とある物は引き出し易くないしまた充放電しない」ということは誤っていれば「それはやんごとなくない」ということは真実だ」ということは本当である
事実8: 「「あの二価は薄青くないがそれは判読出来る」ということは確かだ」ということは成り立つということはない
事実9: もし「あるものは掴み易くない」ということは偽でないなら「木捻子でないし更にそれは輸入出来ない」ということは成り立たない
事実10: 引き出し易いということはないし更に充放電しないという物はない
事実11: それが付着するしその上それはラジオ放送しないというものはない
事実12: それは縺れ込むがしかし都市鉄道でないというものはない
事実13: 「許し難くないしさらに黒い物はない」ということは嘘であるということはない

仮説: 「あの二価は薄青くないし加えて判読出来ない」ということは成り立たない
1. 事実2から、仮説が導かれる

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