眠たいということおよび静か過ぎること両方が起こる
fact1: 「世知辛いということと静か過ぎること両方ともが起きる」ということは眠たいということは生じないということがきっかけである fact2: もし御骨折り頂くことが起こらないなら惨たらしいということが生じるしそれにぴねぴにゃLv.61事件は発生する fact3: 眠たいということが起きる fact4: 静か過ぎることが発生する fact5: 受け辛いということが起こるとすると御骨折り頂くことは起きなくて更に欲深いということは起きない fact6: 仮に惨たらしいということが発生するとしたら「みなみくLv.92事件が生じないかもしくはまよまちゅLv.35事件は起こらないかもしくはどちらもである」ということは事実と異ならない fact7: もしも「まよまちゅLv.35事件は生じない」ということは真実だとしたら「眠たいということと静か過ぎること両方が発生する」ということは事実と異なる
fact4 -> int1: 静か過ぎることが発生する; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> hypothesis;
「眠たいということおよび静か過ぎることが発生する」ということは成り立つということはない
$facts$ = fact1: 「世知辛いということと静か過ぎること両方ともが起きる」ということは眠たいということは生じないということがきっかけである fact2: もし御骨折り頂くことが起こらないなら惨たらしいということが生じるしそれにぴねぴにゃLv.61事件は発生する fact3: 眠たいということが起きる fact4: 静か過ぎることが発生する fact5: 受け辛いということが起こるとすると御骨折り頂くことは起きなくて更に欲深いということは起きない fact6: 仮に惨たらしいということが発生するとしたら「みなみくLv.92事件が生じないかもしくはまよまちゅLv.35事件は起こらないかもしくはどちらもである」ということは事実と異ならない fact7: もしも「まよまちゅLv.35事件は生じない」ということは真実だとしたら「眠たいということと静か過ぎること両方が発生する」ということは事実と異なる ; $hypothesis$ = 眠たいということおよび静か過ぎること両方が起こる ; $proof$ = 
fact4 -> int1: 静か過ぎることが発生する; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__