以下のように仮定する。「説き給うことが生じる」ということは成り立つ
fact1: 「ぽねぽにゃLv.94事件は起きない一方でまゆまちょLv.7事件が起こる」ということは「まにゃまなLv.88事件は起こらない」ということを阻止する fact2: 説き給うことが生じるかまにゃまなLv.88事件が起きるか両方ともならぽねぽにゃLv.94事件は起こらない fact3: まにゃまなLv.88事件が起きるということは説き給うことに繋がる
void -> assump1: 以下のように仮定する。「説き給うことが生じる」ということは成り立つ; assump1 -> int1: 説き給うことは発生するかまにゃまなLv.88事件は発生する; int1 & fact2 -> int2: 「ぽねぽにゃLv.94事件は発生しない」ということは事実だ;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C};
以下のように仮定する。「説き給うことが生じる」ということは成り立つ
$facts$ = fact1: 「ぽねぽにゃLv.94事件は起きない一方でまゆまちょLv.7事件が起こる」ということは「まにゃまなLv.88事件は起こらない」ということを阻止する fact2: 説き給うことが生じるかまにゃまなLv.88事件が起きるか両方ともならぽねぽにゃLv.94事件は起こらない fact3: まにゃまなLv.88事件が起きるということは説き給うことに繋がる ; $hypothesis$ = 以下のように仮定する。「説き給うことが生じる」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__