ぽにゃぽにょLv.98事件が発生する
fact1: ぽにゃぽにょLv.98事件が起こらないということは説明し切れることおよび低いということは発生するが原因だ fact2: まくまちゅLv.57事件が起こるし加えて善することが生じる fact3: ぽよぽねLv.26事件が起きるし加えて説明し切れることが発生する fact4: もしもぽやぽねLv.0事件が起こらないとしたらぽにゃぽにょLv.98事件が発生しなくてその上説明し切れることは生じない fact5: 仮に説明し切れることは起きないとしたらみちょみにゅLv.2事件が起こるしさらにぽよぽねLv.26事件が起こる fact6: 「ぽよぽねLv.26事件が発生する」ということは本当である fact7: 低いということが生じる fact8: 気付き易いということは起きないとすると低いということは起こらないけどぽやぽねLv.0事件が起こる
fact3 -> int1: 説明し切れることが発生する; int1 & fact7 -> int2: 説明し切れることが起きるし低いということが起こる; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
大人しということおよびみちょみにゅLv.2事件どちらもが生じる
$facts$ = fact1: ぽにゃぽにょLv.98事件が起こらないということは説明し切れることおよび低いということは発生するが原因だ fact2: まくまちゅLv.57事件が起こるし加えて善することが生じる fact3: ぽよぽねLv.26事件が起きるし加えて説明し切れることが発生する fact4: もしもぽやぽねLv.0事件が起こらないとしたらぽにゃぽにょLv.98事件が発生しなくてその上説明し切れることは生じない fact5: 仮に説明し切れることは起きないとしたらみちょみにゅLv.2事件が起こるしさらにぽよぽねLv.26事件が起こる fact6: 「ぽよぽねLv.26事件が発生する」ということは本当である fact7: 低いということが生じる fact8: 気付き易いということは起きないとすると低いということは起こらないけどぽやぽねLv.0事件が起こる ; $hypothesis$ = ぽにゃぽにょLv.98事件が発生する ; $proof$ = 
fact3 -> int1: 説明し切れることが発生する; int1 & fact7 -> int2: 説明し切れることが起きるし低いということが起こる; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__