得易いということは起こらない
fact1: ぴなぴにLv.82事件が生じる fact2: 得られ難いということが起こるということはぷちゃぷねLv.33事件にもたらされる fact3: 合い難いということは得易いということは起きないということを阻止する fact4: 「気持ち良いということが起きるし合い難いということが生じる」ということは「ものもちゃLv.20事件は生じない」ということにより生じる fact5: 合い難いということおよびものもちゃLv.20事件どちらもが起こる fact6: 仮に「得易いということが起きるかあるいはしょぼいということは起きない」ということは成り立たないならば「ものもちゃLv.20事件は生じない」ということは真実である
fact5 -> int1: 合い難いということが起こる; int1 & fact3 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> hypothesis;
気持ち良いということが生じる
$facts$ = fact1: ぴなぴにLv.82事件が生じる fact2: 得られ難いということが起こるということはぷちゃぷねLv.33事件にもたらされる fact3: 合い難いということは得易いということは起きないということを阻止する fact4: 「気持ち良いということが起きるし合い難いということが生じる」ということは「ものもちゃLv.20事件は生じない」ということにより生じる fact5: 合い難いということおよびものもちゃLv.20事件どちらもが起こる fact6: 仮に「得易いということが起きるかあるいはしょぼいということは起きない」ということは成り立たないならば「ものもちゃLv.20事件は生じない」ということは真実である ; $hypothesis$ = 得易いということは起こらない ; $proof$ = 
fact5 -> int1: 合い難いということが起こる; int1 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__