「受け難いということが起こる」ということは真実である
fact1: 伸び始めることは受け難いということのきっかけとなる fact2: 伸び始めることが起きる fact3: 仮にみくみやLv.23事件は起こらないならば「受け難いということと痛がることが発生する」ということは成り立たない fact4: 「薄暗いということは起きないかもしくは素晴らしということは生じない」ということは「集まり易いということは生じない」ということにより発生する fact5: 薄暗いということは発生しないということか素晴らしということは生じないということかまたはどちらもはみくみやLv.23事件を回避する fact6: 痛がることは「受け難いということは起こらなくてさらに伸び始めることは起こらない」ということを発生させる fact7: もしまなまいLv.76事件が起こるなら出仕することが起きる
fact2 -> int1: 伸び始めることが起きる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
判断し難いということが起こる
$facts$ = fact1: 伸び始めることは受け難いということのきっかけとなる fact2: 伸び始めることが起きる fact3: 仮にみくみやLv.23事件は起こらないならば「受け難いということと痛がることが発生する」ということは成り立たない fact4: 「薄暗いということは起きないかもしくは素晴らしということは生じない」ということは「集まり易いということは生じない」ということにより発生する fact5: 薄暗いということは発生しないということか素晴らしということは生じないということかまたはどちらもはみくみやLv.23事件を回避する fact6: 痛がることは「受け難いということは起こらなくてさらに伸び始めることは起こらない」ということを発生させる fact7: もしまなまいLv.76事件が起こるなら出仕することが起きる ; $hypothesis$ = 「受け難いということが起こる」ということは真実である ; $proof$ = 
fact2 -> int1: 伸び始めることが起きる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__