ぷちゅぷえLv.25事件は起こらない
fact1: し易いということおよびひもじいということどちらもが発生する fact2: 選択し易いということおよびみくみちゃLv.96事件が発生する fact3: 仮にひもじいということは発生しないとしたらぷちゅぷえLv.25事件が生じるしかつし易いということが起きる fact4: 「し易いということが発生するし意味深いということが起きる」ということはぷちゅぷえLv.25事件は生じないということを誘発する fact5: 意味深いということが生じる fact6: 御し易いということともいもくLv.39事件が生じる
fact1 -> int1: し易いということが起こる; int1 & fact5 -> int2: し易いということと意味深いということどちらもが生じる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
ぷちゅぷえLv.25事件が生じる
$facts$ = fact1: し易いということおよびひもじいということどちらもが発生する fact2: 選択し易いということおよびみくみちゃLv.96事件が発生する fact3: 仮にひもじいということは発生しないとしたらぷちゅぷえLv.25事件が生じるしかつし易いということが起きる fact4: 「し易いということが発生するし意味深いということが起きる」ということはぷちゅぷえLv.25事件は生じないということを誘発する fact5: 意味深いということが生じる fact6: 御し易いということともいもくLv.39事件が生じる ; $hypothesis$ = ぷちゅぷえLv.25事件は起こらない ; $proof$ = 
fact1 -> int1: し易いということが起こる; int1 & fact5 -> int2: し易いということと意味深いということどちらもが生じる; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__