ぽちゅぽねLv.15事件が生じる
fact1: 男の子らしいということは長々しいということを招く fact2: 待ち遠しいということが起こる fact3: 「長々しいということは起きないが待ち遠しいということが生じる」ということは間違い無いということに起因する fact4: もしももちゃもにゅLv.19事件が起きるし脆いということは発生しないとすれば空々しいということは発生しない fact5: 男の子らしいということが発生する fact6: もし待ち遠しいということは起こらないとすれば長々しいということが起こるか男の子らしいということが生じるか両方ともである fact7: 「間違い無いということおよび惨めったらしいということが起きるは空々しいということは起きないということに誘発される」ということは間違っているということはない fact8: ぽちゅぽねLv.15事件は「長々しいということと待ち遠しいということどちらもが生じる」ということに阻止される
fact1 & fact5 -> int1: 長々しいということが起きる; int1 & fact2 -> int2: 長々しいということおよび待ち遠しいということ両方ともが起きる; int2 & fact8 -> hypothesis;
fact1 & fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis;
ぽちゅぽねLv.15事件が生じる
$facts$ = fact1: 男の子らしいということは長々しいということを招く fact2: 待ち遠しいということが起こる fact3: 「長々しいということは起きないが待ち遠しいということが生じる」ということは間違い無いということに起因する fact4: もしももちゃもにゅLv.19事件が起きるし脆いということは発生しないとすれば空々しいということは発生しない fact5: 男の子らしいということが発生する fact6: もし待ち遠しいということは起こらないとすれば長々しいということが起こるか男の子らしいということが生じるか両方ともである fact7: 「間違い無いということおよび惨めったらしいということが起きるは空々しいということは起きないということに誘発される」ということは間違っているということはない fact8: ぽちゅぽねLv.15事件は「長々しいということと待ち遠しいということどちらもが生じる」ということに阻止される ; $hypothesis$ = ぽちゅぽねLv.15事件が生じる ; $proof$ = 
fact1 & fact5 -> int1: 長々しいということが起きる; int1 & fact2 -> int2: 長々しいということおよび待ち遠しいということ両方ともが起きる; int2 & fact8 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis; __DISPROVED__