ぽにゃぽにゃLv.15事件が起こる
fact1: 大人っぽいということは生じないということは御恥ずかしいということおよびみにゃみよLv.85事件が起きるの原因となる fact2: もし慎み深いということは生じないとすると「ぽちゃぽにゅLv.65事件は起こらないしぷにょぷえLv.79事件は発生する」ということは成り立たない fact3: ぽにゃぽにゃLv.15事件は「御恥ずかしいということおよびぽえぽにLv.32事件どちらもが生じる」ということに阻止される fact4: 「旨いということは発生しない」ということは「大人っぽいということが発生するしぽえぽにLv.32事件が生じる」ということをもたらす fact5: 仮に「ぽちゃぽにゅLv.65事件は起こらないしぷにょぷえLv.79事件が起こる」ということは成り立たないとすると旨いということは起きない fact6: 大人っぽいということは起こらない fact7: ぽえぽにLv.32事件が発生する fact8: みにゃみよLv.85事件が起こらないとしたらぽにゃぽにゃLv.15事件および御恥ずかしいということ両方ともは発生する
fact6 & fact1 -> int1: 御恥ずかしいということとみにゃみよLv.85事件どちらもが起きる; int1 -> int2: 御恥ずかしいということが起こる; int2 & fact7 -> int3: 御恥ずかしいということとぽえぽにLv.32事件が発生する; int3 & fact3 -> hypothesis;
fact6 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact7 -> int3: ({A} & {C}); int3 & fact3 -> hypothesis;
ぽにゃぽにゃLv.15事件が起こる
$facts$ = fact1: 大人っぽいということは生じないということは御恥ずかしいということおよびみにゃみよLv.85事件が起きるの原因となる fact2: もし慎み深いということは生じないとすると「ぽちゃぽにゅLv.65事件は起こらないしぷにょぷえLv.79事件は発生する」ということは成り立たない fact3: ぽにゃぽにゃLv.15事件は「御恥ずかしいということおよびぽえぽにLv.32事件どちらもが生じる」ということに阻止される fact4: 「旨いということは発生しない」ということは「大人っぽいということが発生するしぽえぽにLv.32事件が生じる」ということをもたらす fact5: 仮に「ぽちゃぽにゅLv.65事件は起こらないしぷにょぷえLv.79事件が起こる」ということは成り立たないとすると旨いということは起きない fact6: 大人っぽいということは起こらない fact7: ぽえぽにLv.32事件が発生する fact8: みにゃみよLv.85事件が起こらないとしたらぽにゃぽにゃLv.15事件および御恥ずかしいということ両方ともは発生する ; $hypothesis$ = ぽにゃぽにゃLv.15事件が起こる ; $proof$ = 
fact6 & fact1 -> int1: 御恥ずかしいということとみにゃみよLv.85事件どちらもが起きる; int1 -> int2: 御恥ずかしいということが起こる; int2 & fact7 -> int3: 御恥ずかしいということとぽえぽにLv.32事件が発生する; int3 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact7 -> int3: ({A} & {C}); int3 & fact3 -> hypothesis; __DISPROVED__