その眈眈は読み辛い
fact1: もし仮に余所余所しかないものが打ち果たすということはないとしたらあの辛抱は得難くない fact2: もし仮に「この詮議は副詞句でない」ということは真実であるならばそれが心電計だしそれは好ましい fact3: 手厳しくないものが紹介すればそれは読み辛くない fact4: もしも読み辛い物が手厳しくないとすればそれは紹介しない fact5: もしもこの諸因子が副詞句であるしそれに道州制であるとすればあの詮議は副詞句でない fact6: この婆やはさよならであるしそれに時間Ｔである fact7: 「その眈眈は読み辛くなくておまけに達成出来るということはない」ということは嘘である fact8: もし仮に「あの辛抱は得難くない」ということは本当であるとしたら「この諸因子は二重課税であるしそれは入学する」ということは嘘だ fact9: もしその眈眈は読み辛くないなら「それは優勝するということはないしかつ達成出来ない」ということは偽だ fact10: もし「この詮議は優勝しないしかつ達成出来ない」ということは正しくないとしたらその眈眈は読み辛い fact11: この第一章参照は紹介しない fact12: この詮議は紹介しない fact13: もしあのアトムが副詞句でないか住宅融資保険法だとすればこの諸因子は副詞句である fact14: 仮にこの婆やが時間Ｔであるとしたらあのアトムは副詞句でないかあるいは住宅融資保険法だ fact15: 仮に「なにがしかの物は二重課税であるし入学する」ということは間違いであるとすればそれは夥しくない fact16: 「この詮議は紹介しない」ということは真実ならば「「それは優勝するということはなくて達成出来ない」ということは成り立つ」ということは成り立つということはない fact17: そのＥＮは当選しない fact18: 夥しくない物は道州制であるし更に無毒化する fact19: そのＥＮが当選しないとすると余所余所しかないしおまけに打ち果たさない
fact16 & fact12 -> int1: 「この詮議は優勝するということはなくて達成出来ない」ということは誤っている; int1 & fact10 -> hypothesis;
その眈眈は読み辛いということはない
fact24 -> int2: もしその眈眈が手厳しいということはないけど紹介するとするとそれは読み辛くない; fact23 -> int3: この婆やは時間Ｔだ; fact25 & int3 -> int4: あのアトムは副詞句でないかまたは住宅融資保険法であるかもしくはどちらもである; fact22 & int4 -> int5: この諸因子は副詞句である; fact26 -> int6: もしこの諸因子が夥しくないとするとそれは道州制であるしそれにそれは無毒化する; fact31 -> int7: もし仮に「この諸因子は二重課税だしまた入学する」ということは偽だとすればそれは夥しくない; fact30 & fact20 -> int8: そのＥＮは余所余所しかないしかつ打ち果たさない; int8 -> int9: なにかは余所余所しいということはなくて打ち果たさない; int9 & fact27 -> int10: あの辛抱は得難くない; fact21 & int10 -> int11: 「この諸因子が二重課税だしその上入学する」ということは間違っている; int7 & int11 -> int12: この諸因子は夥しくない; int6 & int12 -> int13: この諸因子が道州制だしそれは無毒化する; int13 -> int14: この諸因子は道州制である; int5 & int14 -> int15: この諸因子は副詞句であるし道州制だ; fact29 & int15 -> int16: この詮議は副詞句でない; fact28 & int16 -> int17: この詮議が心電計だしさらにそれは好ましい; int17 -> int18: この詮議は好ましい; int18 -> int19: 好ましいものはある;
$facts$ = fact1: もし仮に余所余所しかないものが打ち果たすということはないとしたらあの辛抱は得難くない fact2: もし仮に「この詮議は副詞句でない」ということは真実であるならばそれが心電計だしそれは好ましい fact3: 手厳しくないものが紹介すればそれは読み辛くない fact4: もしも読み辛い物が手厳しくないとすればそれは紹介しない fact5: もしもこの諸因子が副詞句であるしそれに道州制であるとすればあの詮議は副詞句でない fact6: この婆やはさよならであるしそれに時間Ｔである fact7: 「その眈眈は読み辛くなくておまけに達成出来るということはない」ということは嘘である fact8: もし仮に「あの辛抱は得難くない」ということは本当であるとしたら「この諸因子は二重課税であるしそれは入学する」ということは嘘だ fact9: もしその眈眈は読み辛くないなら「それは優勝するということはないしかつ達成出来ない」ということは偽だ fact10: もし「この詮議は優勝しないしかつ達成出来ない」ということは正しくないとしたらその眈眈は読み辛い fact11: この第一章参照は紹介しない fact12: この詮議は紹介しない fact13: もしあのアトムが副詞句でないか住宅融資保険法だとすればこの諸因子は副詞句である fact14: 仮にこの婆やが時間Ｔであるとしたらあのアトムは副詞句でないかあるいは住宅融資保険法だ fact15: 仮に「なにがしかの物は二重課税であるし入学する」ということは間違いであるとすればそれは夥しくない fact16: 「この詮議は紹介しない」ということは真実ならば「「それは優勝するということはなくて達成出来ない」ということは成り立つ」ということは成り立つということはない fact17: そのＥＮは当選しない fact18: 夥しくない物は道州制であるし更に無毒化する fact19: そのＥＮが当選しないとすると余所余所しかないしおまけに打ち果たさない ; $hypothesis$ = その眈眈は読み辛い ; $proof$ = 
fact16 & fact12 -> int1: 「この詮議は優勝するということはなくて達成出来ない」ということは誤っている; int1 & fact10 -> hypothesis; __PROVED__
事実1: もし仮に余所余所しかないものが打ち果たすということはないとしたらあの辛抱は得難くない
事実2: もし仮に「この詮議は副詞句でない」ということは真実であるならばそれが心電計だしそれは好ましい
事実3: 手厳しくないものが紹介すればそれは読み辛くない
事実4: もしも読み辛い物が手厳しくないとすればそれは紹介しない
事実5: もしもこの諸因子が副詞句であるしそれに道州制であるとすればあの詮議は副詞句でない
事実6: この婆やはさよならであるしそれに時間Ｔである
事実7: 「その眈眈は読み辛くなくておまけに達成出来るということはない」ということは嘘である
事実8: もし仮に「あの辛抱は得難くない」ということは本当であるとしたら「この諸因子は二重課税であるしそれは入学する」ということは嘘だ
事実9: もしその眈眈は読み辛くないなら「それは優勝するということはないしかつ達成出来ない」ということは偽だ
事実10: もし「この詮議は優勝しないしかつ達成出来ない」ということは正しくないとしたらその眈眈は読み辛い
事実11: この第一章参照は紹介しない
事実12: この詮議は紹介しない
事実13: もしあのアトムが副詞句でないか住宅融資保険法だとすればこの諸因子は副詞句である
事実14: 仮にこの婆やが時間Ｔであるとしたらあのアトムは副詞句でないかあるいは住宅融資保険法だ
事実15: 仮に「なにがしかの物は二重課税であるし入学する」ということは間違いであるとすればそれは夥しくない
事実16: 「この詮議は紹介しない」ということは真実ならば「「それは優勝するということはなくて達成出来ない」ということは成り立つ」ということは成り立つということはない
事実17: そのＥＮは当選しない
事実18: 夥しくない物は道州制であるし更に無毒化する
事実19: そのＥＮが当選しないとすると余所余所しかないしおまけに打ち果たさない

仮説: その眈眈は読み辛い
1. 事実16と事実12から、推論1: "「この詮議は優勝するということはなくて達成出来ない」ということは誤っている"が導かれる
2. 推論1と事実10から、仮説が導かれる

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