あの自刃は平準化するし焼き難い
fact1: この信用格付けはすごーいということはない fact2: 「訳無くない」ものはある fact3: 合わせ易くない物は狙われ易いしまた奥床しい fact4: 「あの遊牧民族は易しくない」ということは成り立つならそれは函館芝であるということはない fact5: 「狙われ易い物はすごーくない」ということは正しい fact6: もし仮にとある物はすごーくないならば「それは平準化するしおまけに焼き難い」ということは偽である fact7: 仮に「すごーいということはない」ものがあるならあの自刃は平準化する fact8: あの遊牧民族は易しくない fact9: あの遊牧民族は繰り越しする fact10: 「すごーくない」物があるとしたらあの自刃は平準化するしそれにそれは焼き難い fact11: あの自刃は平準化する
fact1 -> int1: 「すごーくない」物はある; int1 & fact10 -> hypothesis;
fact1 -> int1: (Ex): ¬{A}x; int1 & fact10 -> hypothesis;
「「あの自刃は平準化するし更にそれは焼き難い」ということは成り立つ」ということは嘘である
fact13 -> int2: あの自刃はすごーくないとすれば「平準化するし更にそれは焼き難い」ということは誤っている; fact16 -> int3: 「もしもあの自刃が狙われ易いとすればあの自刃はすごーいということはない」ということは事実である; fact12 -> int4: 仮にあの自刃が合わせ易いということはないならば狙われ易くてかつ奥床しい; fact14 & fact17 -> int5: あの遊牧民族は函館芝でない; fact15 & int5 -> int6: あの遊牧民族は繰り越しするけれど函館芝でない; int6 -> int7: なんらかの物は繰り越しする一方で函館芝でない;
$facts$ = fact1: この信用格付けはすごーいということはない fact2: 「訳無くない」ものはある fact3: 合わせ易くない物は狙われ易いしまた奥床しい fact4: 「あの遊牧民族は易しくない」ということは成り立つならそれは函館芝であるということはない fact5: 「狙われ易い物はすごーくない」ということは正しい fact6: もし仮にとある物はすごーくないならば「それは平準化するしおまけに焼き難い」ということは偽である fact7: 仮に「すごーいということはない」ものがあるならあの自刃は平準化する fact8: あの遊牧民族は易しくない fact9: あの遊牧民族は繰り越しする fact10: 「すごーくない」物があるとしたらあの自刃は平準化するしそれにそれは焼き難い fact11: あの自刃は平準化する ; $hypothesis$ = あの自刃は平準化するし焼き難い ; $proof$ = 
fact1 -> int1: 「すごーくない」物はある; int1 & fact10 -> hypothesis; __PROVED__
事実1: この信用格付けはすごーいということはない
事実2: 「訳無くない」ものはある
事実3: 合わせ易くない物は狙われ易いしまた奥床しい
事実4: 「あの遊牧民族は易しくない」ということは成り立つならそれは函館芝であるということはない
事実5: 「狙われ易い物はすごーくない」ということは正しい
事実6: もし仮にとある物はすごーくないならば「それは平準化するしおまけに焼き難い」ということは偽である
事実7: 仮に「すごーいということはない」ものがあるならあの自刃は平準化する
事実8: あの遊牧民族は易しくない
事実9: あの遊牧民族は繰り越しする
事実10: 「すごーくない」物があるとしたらあの自刃は平準化するしそれにそれは焼き難い
事実11: あの自刃は平準化する

仮説: あの自刃は平準化するし焼き難い
1. 事実1から、推論1: "「すごーくない」物はある"が導かれる
2. 推論1と事実10から、仮説が導かれる

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