ぷなぷちょLv.20事件が起こる
fact1: 「に対して有ることが起こらないかまたはぷなぷちょLv.20事件は生じないか両方ともである」ということは「穴埋めすることは生じない」ということがきっかけである fact2: ぷなぷちょLv.20事件が発生するということはに対して有ることは発生しないということかあるいは「ぷなぷちょLv.20事件は起きない」ということかあるいはどちらもに阻止される fact3: ぷなぷちょLv.20事件はに対して有ることにもたらされる fact4: 穴埋めすることが発生する fact5: 穴埋めすることがに対して有ることは生じないということを阻む
fact5 & fact4 -> int1: に対して有ることが起きる; int1 & fact3 -> hypothesis;
fact5 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis;
ぷなぷちょLv.20事件は発生しない
$facts$ = fact1: 「に対して有ることが起こらないかまたはぷなぷちょLv.20事件は生じないか両方ともである」ということは「穴埋めすることは生じない」ということがきっかけである fact2: ぷなぷちょLv.20事件が発生するということはに対して有ることは発生しないということかあるいは「ぷなぷちょLv.20事件は起きない」ということかあるいはどちらもに阻止される fact3: ぷなぷちょLv.20事件はに対して有ることにもたらされる fact4: 穴埋めすることが発生する fact5: 穴埋めすることがに対して有ることは生じないということを阻む ; $hypothesis$ = ぷなぷちょLv.20事件が起こる ; $proof$ = 
fact5 & fact4 -> int1: に対して有ることが起きる; int1 & fact3 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__