ぷいぷちゅLv.8事件は生じない
fact1: 滞り易いということが生じる fact2: 否定し難いということが発生する fact3: 「ぷちゃぷなLv.93事件が発生するし滞り易いということが生じる」ということはぷいぷちゅLv.8事件を阻む fact4: 怖がることが起こる fact5: 苛々し易いということが起きるし取り易いということが起きる fact6: 怖がることがぷちゃぷなLv.93事件は生じないということを阻止する
fact6 & fact4 -> int1: ぷちゃぷなLv.93事件が起こる; int1 & fact1 -> int2: ぷちゃぷなLv.93事件および滞り易いということが起こる; int2 & fact3 -> hypothesis;
fact6 & fact4 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 滞り易いということが生じる fact2: 否定し難いということが発生する fact3: 「ぷちゃぷなLv.93事件が発生するし滞り易いということが生じる」ということはぷいぷちゅLv.8事件を阻む fact4: 怖がることが起こる fact5: 苛々し易いということが起きるし取り易いということが起きる fact6: 怖がることがぷちゃぷなLv.93事件は生じないということを阻止する ; $hypothesis$ = ぷいぷちゅLv.8事件は生じない ; $proof$ = 
fact6 & fact4 -> int1: ぷちゃぷなLv.93事件が起こる; int1 & fact1 -> int2: ぷちゃぷなLv.93事件および滞り易いということが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__