まのまにゃLv.26事件は発生しない
fact1: もしまよまちゃLv.21事件は起こらないとしたらぽのぽねLv.32事件かまたはまよまわLv.66事件が生じる fact2: まよまわLv.66事件が生じる fact3: 「まよまわLv.66事件は起きない」ということは「ぽのぽねLv.32事件が起こるしさらにまのまにゃLv.26事件が発生する」ということに誘発される fact4: ぽのぽねLv.32事件が起こる fact5: ぷにゃぷやLv.73事件が発生するとするとまよまちゃLv.21事件は起こらなくてまくまいLv.27事件は起きない fact6: 打ち破ることが起こる
void -> assump1: 以下のように仮定する。まのまにゃLv.26事件が起きる; fact4 & assump1 -> int1: ぽのぽねLv.32事件およびまのまにゃLv.26事件両方ともが発生する; int1 & fact3 -> int2: まよまわLv.66事件は起きない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。まのまにゃLv.26事件が起きる
$facts$ = fact1: もしまよまちゃLv.21事件は起こらないとしたらぽのぽねLv.32事件かまたはまよまわLv.66事件が生じる fact2: まよまわLv.66事件が生じる fact3: 「まよまわLv.66事件は起きない」ということは「ぽのぽねLv.32事件が起こるしさらにまのまにゃLv.26事件が発生する」ということに誘発される fact4: ぽのぽねLv.32事件が起こる fact5: ぷにゃぷやLv.73事件が発生するとするとまよまちゃLv.21事件は起こらなくてまくまいLv.27事件は起きない fact6: 打ち破ることが起こる ; $hypothesis$ = まのまにゃLv.26事件は発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。まのまにゃLv.26事件が起きる; fact4 & assump1 -> int1: ぽのぽねLv.32事件およびまのまにゃLv.26事件両方ともが発生する; int1 & fact3 -> int2: まよまわLv.66事件は起きない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__