ぽよぽにゅLv.94事件は発生しない
fact1: 「まちゅまえLv.33事件は起こらない」ということは「ぽなぽえLv.88事件は起こらなくてぽよぽにゅLv.94事件は起きない」ということに帰結する fact2: ど偉いということは起きないとすればめでたいということは生じなくてかつど偉いということは発生しない fact3: ぽなぽえLv.88事件が起こるしその上まちゅまえLv.33事件が起こる fact4: まちゅまえLv.33事件はぷくぷにゃLv.57事件に阻止される fact5: もしぽなぽえLv.88事件が起きるかあるいはぷくぷにゃLv.57事件が発生すればど偉いということは起きない
fact3 -> int1: ぽなぽえLv.88事件が発生する; int1 -> int2: ぽなぽえLv.88事件かぷくぷにゃLv.57事件かもしくは両方ともが生じる; int2 & fact5 -> int3: 「ど偉いということは発生しない」ということは正しい; int3 & fact2 -> int4: めでたいということは起きないし加えてど偉いということは起こらない;
fact3 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact5 -> int3: ¬{D}; int3 & fact2 -> int4: (¬{F} & ¬{D});
ぽよぽにゅLv.94事件は発生しない
$facts$ = fact1: 「まちゅまえLv.33事件は起こらない」ということは「ぽなぽえLv.88事件は起こらなくてぽよぽにゅLv.94事件は起きない」ということに帰結する fact2: ど偉いということは起きないとすればめでたいということは生じなくてかつど偉いということは発生しない fact3: ぽなぽえLv.88事件が起こるしその上まちゅまえLv.33事件が起こる fact4: まちゅまえLv.33事件はぷくぷにゃLv.57事件に阻止される fact5: もしぽなぽえLv.88事件が起きるかあるいはぷくぷにゃLv.57事件が発生すればど偉いということは起きない ; $hypothesis$ = ぽよぽにゅLv.94事件は発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__