その古今集は掴み易くない
fact1: もしとあるものが精製しないとしたらそれは配当金であるし更に掴み易い fact2: 全ての物は配当金でない fact3: もしもその古今集が掴み易いならばそれは配当金である fact4: あのハード面は返りらしいとすれば「内属する」ということは本当である fact5: もし仮にその古今集は精製しないとすると「あの聖地性は掴み易いけれど配当金でない」ということは真実でない fact6: そのスピン量子数ＭＳは踏めない fact7: もし仮に何かは踏めないとすると「それが常緑樹だししかも高くない」ということは事実と異なる fact8: もしなにかは社会民主主義者であるということはないならば「精製するし理解出来る」ということは成り立たない fact9: 「そのスピン量子数ＭＳは常緑樹であるがしかしそれは高くない」ということは本当でないなら「あの語義失語像は当たり難くない」ということは本当だ fact10: もし仮に「この交差反応は精製するし加えて理解出来る」ということは真実だということはないとするとその古今集は精製しない
void -> assump1: 以下のように仮定する。その古今集は掴み易い; fact3 & assump1 -> int1: その古今集は配当金である; fact2 -> int2: その古今集は配当金でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの聖地性は掴み易いということはない
fact13 -> int4: もしもこの交差反応は社会民主主義者でないなら「精製するしさらに理解出来る」ということは間違いである; fact16 -> int5: もし仮にそのスピン量子数ＭＳは踏めないとすると「それは常緑樹だ一方で高いということはない」ということは成り立つということはない; int5 & fact11 -> int6: 「「そのスピン量子数ＭＳは常緑樹だ一方でそれは高くない」ということは確かでない」ということは成り立つ; fact14 & int6 -> int7: あの語義失語像は当たり難くない; int7 -> int8: 「当たり難くない」物はある;
$facts$ = fact1: もしとあるものが精製しないとしたらそれは配当金であるし更に掴み易い fact2: 全ての物は配当金でない fact3: もしもその古今集が掴み易いならばそれは配当金である fact4: あのハード面は返りらしいとすれば「内属する」ということは本当である fact5: もし仮にその古今集は精製しないとすると「あの聖地性は掴み易いけれど配当金でない」ということは真実でない fact6: そのスピン量子数ＭＳは踏めない fact7: もし仮に何かは踏めないとすると「それが常緑樹だししかも高くない」ということは事実と異なる fact8: もしなにかは社会民主主義者であるということはないならば「精製するし理解出来る」ということは成り立たない fact9: 「そのスピン量子数ＭＳは常緑樹であるがしかしそれは高くない」ということは本当でないなら「あの語義失語像は当たり難くない」ということは本当だ fact10: もし仮に「この交差反応は精製するし加えて理解出来る」ということは真実だということはないとするとその古今集は精製しない ; $hypothesis$ = その古今集は掴み易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その古今集は掴み易い; fact3 & assump1 -> int1: その古今集は配当金である; fact2 -> int2: その古今集は配当金でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしとあるものが精製しないとしたらそれは配当金であるし更に掴み易い
事実2: 全ての物は配当金でない
事実3: もしもその古今集が掴み易いならばそれは配当金である
事実4: あのハード面は返りらしいとすれば「内属する」ということは本当である
事実5: もし仮にその古今集は精製しないとすると「あの聖地性は掴み易いけれど配当金でない」ということは真実でない
事実6: そのスピン量子数ＭＳは踏めない
事実7: もし仮に何かは踏めないとすると「それが常緑樹だししかも高くない」ということは事実と異なる
事実8: もしなにかは社会民主主義者であるということはないならば「精製するし理解出来る」ということは成り立たない
事実9: 「そのスピン量子数ＭＳは常緑樹であるがしかしそれは高くない」ということは本当でないなら「あの語義失語像は当たり難くない」ということは本当だ
事実10: もし仮に「この交差反応は精製するし加えて理解出来る」ということは真実だということはないとするとその古今集は精製しない

仮説: その古今集は掴み易くない
1. 仮定1: 以下のように仮定する。その古今集は掴み易い
2. 事実3と仮定1から、推論1: "その古今集は配当金である"が導かれる
3. 事実2から、推論2: "その古今集は配当金でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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