「「まにゅまのLv.29事件は生じないしみにゅみわLv.68事件は起きない」ということは確かである」ということは正しくない
fact1: もしみにゅみわLv.68事件が生じないとするとまにゅまのLv.29事件は起きないしみにゅみわLv.68事件は起きない fact2: もし出ることが生じないとすると読み辛いということは生じないしその上出ることは発生しない fact3: ぷにぷえLv.91事件は発生しない fact4: 「ぷねぷちゅLv.29事件は起こらない」ということは事実だ fact5: ぷちゃぷねLv.26事件が起きる fact6: もし仮に「ぷにぷえLv.91事件は起こらないけどみにゅみわLv.68事件は発生する」ということは事実と異なるとするとぴゆぴくLv.27事件は生じない fact7: 渋いということは生じないということは刺々しいということに阻止される fact8: ぷにぷえLv.91事件は起こらないということは「みにゅみわLv.68事件が起こる」ということに防がれる
void -> assump1: 以下のように仮定する。みにゅみわLv.68事件が起きる; fact8 & assump1 -> int1: ぷにぷえLv.91事件が発生する; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: みにゅみわLv.68事件は起きない; int3 & fact1 -> hypothesis;
void -> assump1: {A}; fact8 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact1 -> hypothesis;
「「まにゅまのLv.29事件は生じないしみにゅみわLv.68事件は起きない」ということは確かである」ということは正しくない
 -> hypothesis;
$facts$ = fact1: もしみにゅみわLv.68事件が生じないとするとまにゅまのLv.29事件は起きないしみにゅみわLv.68事件は起きない fact2: もし出ることが生じないとすると読み辛いということは生じないしその上出ることは発生しない fact3: ぷにぷえLv.91事件は発生しない fact4: 「ぷねぷちゅLv.29事件は起こらない」ということは事実だ fact5: ぷちゃぷねLv.26事件が起きる fact6: もし仮に「ぷにぷえLv.91事件は起こらないけどみにゅみわLv.68事件は発生する」ということは事実と異なるとするとぴゆぴくLv.27事件は生じない fact7: 渋いということは生じないということは刺々しいということに阻止される fact8: ぷにぷえLv.91事件は起こらないということは「みにゅみわLv.68事件が起こる」ということに防がれる ; $hypothesis$ = 「「まにゅまのLv.29事件は生じないしみにゅみわLv.68事件は起きない」ということは確かである」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。みにゅみわLv.68事件が起きる; fact8 & assump1 -> int1: ぷにぷえLv.91事件が発生する; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: みにゅみわLv.68事件は起きない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact8 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact1 -> hypothesis; __DISPROVED__