「まいまにゃLv.90事件は起きないけれどそつ無いということが起こる」ということは成り立つということはない
fact1: ぴいぴくLv.30事件は発生しない fact2: 批評し合うことは起きない fact3: 「ぴいぴくLv.30事件は発生しない」ということはまいまにゃLv.90事件に阻まれる fact4: 「ぴいぴくLv.30事件が生じるしまいまにゃLv.90事件は起こらない」ということは惨いということに繋がる
void -> assump1: 以下のように仮定する。まいまにゃLv.90事件が起こる; fact3 & assump1 -> int1: ぴいぴくLv.30事件が起きる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: まいまにゃLv.90事件は発生しない;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A};
惨いということが生じる
$facts$ = fact1: ぴいぴくLv.30事件は発生しない fact2: 批評し合うことは起きない fact3: 「ぴいぴくLv.30事件は発生しない」ということはまいまにゃLv.90事件に阻まれる fact4: 「ぴいぴくLv.30事件が生じるしまいまにゃLv.90事件は起こらない」ということは惨いということに繋がる ; $hypothesis$ = 「まいまにゃLv.90事件は起きないけれどそつ無いということが起こる」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__