「堆いということは発生しない」ということは本当である
fact1: 「繋がり易いということは発生しないし加えてまにゃまちゃLv.21事件は起きない」ということは誤っている fact2: 「繋がり易いということは起こらないしまにゃまちゃLv.21事件は起きない」ということは「芳しいということは起きない」ということがきっかけだ fact3: 堆いということは芳しいということにより生じる
void -> assump1: 以下のように仮定する。芳しいということは生じない; fact2 & assump1 -> int1: 繋がり易いということは起こらないし加えてまにゃまちゃLv.21事件は生じない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 芳しいということが起こる; int3 & fact3 -> hypothesis;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact3 -> hypothesis;
$facts$ = fact1: 「繋がり易いということは発生しないし加えてまにゃまちゃLv.21事件は起きない」ということは誤っている fact2: 「繋がり易いということは起こらないしまにゃまちゃLv.21事件は起きない」ということは「芳しいということは起きない」ということがきっかけだ fact3: 堆いということは芳しいということにより生じる ; $hypothesis$ = 「堆いということは発生しない」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。芳しいということは生じない; fact2 & assump1 -> int1: 繋がり易いということは起こらないし加えてまにゃまちゃLv.21事件は生じない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 芳しいということが起こる; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact2 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact3 -> hypothesis; __DISPROVED__