ぽいぽちゃLv.94事件が起きる
fact1: もしも「太り難いということとみちょみちゅLv.59事件が生じる」ということは成り立たないとしたらぽいぽちゃLv.94事件は起こらない fact2: 仮に叙すこととぽのぽくLv.25事件が起こるならぷくぷなLv.97事件は起こらない fact3: 仮にぷくぷなLv.97事件は起きないとすれば「太り難いということおよびみちょみちゅLv.59事件が起きる」ということは本当でない fact4: ぽのぽくLv.25事件が生じる fact5: 「御若いということは起きない」ということは「ぷくぷなLv.97事件が起きないし更にぽのぽくLv.25事件は起こらない」ということが契機だ fact6: 太り難いということとみちょみちゅLv.59事件が起こるは「もなもゆLv.54事件は発生しない」ということにより生じる fact7: 「御若いということは発生しない」ということは叙すことおよびぽいぽちゃLv.94事件が起きるに帰結する fact8: 叙すことと御若いということ両方ともが起きる fact9: もし「もいもにゅLv.99事件とまやまなLv.77事件両方ともが起こる」ということは成り立つということはないならばぽくぽゆLv.6事件は発生しない fact10: ぴにゃぴなLv.15事件が起こればもなもゆLv.54事件は生じないけどぴやぴよLv.28事件が起こる
fact8 -> int1: 叙すことが発生する; int1 & fact4 -> int2: 叙すことが発生するし更にぽのぽくLv.25事件が起きる; int2 & fact2 -> int3: ぷくぷなLv.97事件は起こらない; int3 & fact3 -> int4: 「太り難いということとみちょみちゅLv.59事件両方ともが起きる」ということは誤りである; int4 & fact1 -> hypothesis;
fact8 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact3 -> int4: ¬({E} & {F}); int4 & fact1 -> hypothesis;
ぽいぽちゃLv.94事件が起きる
$facts$ = fact1: もしも「太り難いということとみちょみちゅLv.59事件が生じる」ということは成り立たないとしたらぽいぽちゃLv.94事件は起こらない fact2: 仮に叙すこととぽのぽくLv.25事件が起こるならぷくぷなLv.97事件は起こらない fact3: 仮にぷくぷなLv.97事件は起きないとすれば「太り難いということおよびみちょみちゅLv.59事件が起きる」ということは本当でない fact4: ぽのぽくLv.25事件が生じる fact5: 「御若いということは起きない」ということは「ぷくぷなLv.97事件が起きないし更にぽのぽくLv.25事件は起こらない」ということが契機だ fact6: 太り難いということとみちょみちゅLv.59事件が起こるは「もなもゆLv.54事件は発生しない」ということにより生じる fact7: 「御若いということは発生しない」ということは叙すことおよびぽいぽちゃLv.94事件が起きるに帰結する fact8: 叙すことと御若いということ両方ともが起きる fact9: もし「もいもにゅLv.99事件とまやまなLv.77事件両方ともが起こる」ということは成り立つということはないならばぽくぽゆLv.6事件は発生しない fact10: ぴにゃぴなLv.15事件が起こればもなもゆLv.54事件は生じないけどぴやぴよLv.28事件が起こる ; $hypothesis$ = ぽいぽちゃLv.94事件が起きる ; $proof$ = 
fact8 -> int1: 叙すことが発生する; int1 & fact4 -> int2: 叙すことが発生するし更にぽのぽくLv.25事件が起きる; int2 & fact2 -> int3: ぷくぷなLv.97事件は起こらない; int3 & fact3 -> int4: 「太り難いということとみちょみちゅLv.59事件両方ともが起きる」ということは誤りである; int4 & fact1 -> hypothesis; __DISPROVED__
fact8 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact3 -> int4: ¬({E} & {F}); int4 & fact1 -> hypothesis; __DISPROVED__