ぽちゅぽよLv.41事件は発生しない
fact1: 陥り易いということは生じないということは「物凄いということは起こらなくておまけにぴちょぴいLv.15事件は起こらない」ということに繋がる fact2: ぴちょぴいLv.15事件ともくもわLv.29事件が生じる fact3: もくもわLv.29事件がぴなぴちょLv.71事件は起きないということを防ぐ fact4: 「ぴちょぴいLv.15事件は発生しない」ということは成り立つとすればぴなぴちょLv.71事件が発生しないしぷえぷやLv.77事件は起こらない
fact2 -> int1: もくもわLv.29事件が発生する; fact3 & int1 -> int2: ぴなぴちょLv.71事件が生じる; int2 -> int3: ぴなぴちょLv.71事件かもしくはぷえぷやLv.77事件が起こる;
fact2 -> int1: {A}; fact3 & int1 -> int2: {B}; int2 -> int3: ({B} v {C});
ぽちゅぽよLv.41事件が発生する
$facts$ = fact1: 陥り易いということは生じないということは「物凄いということは起こらなくておまけにぴちょぴいLv.15事件は起こらない」ということに繋がる fact2: ぴちょぴいLv.15事件ともくもわLv.29事件が生じる fact3: もくもわLv.29事件がぴなぴちょLv.71事件は起きないということを防ぐ fact4: 「ぴちょぴいLv.15事件は発生しない」ということは成り立つとすればぴなぴちょLv.71事件が発生しないしぷえぷやLv.77事件は起こらない ; $hypothesis$ = ぽちゅぽよLv.41事件は発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__