病み衰えることが起こる
fact1: 「「もにょもえLv.42事件が生じるけれど輝かしということは起こらない」ということは成り立たない」ということは成り立つ fact2: 御悪いということが生じる fact3: 仮に「ぽいぽくLv.56事件が生じるけど御悪いということは生じない」ということは成り立つということはないなら病み衰えることが起きる fact4: 「もにょもえLv.42事件は起きない」ということは「意味深いということは生じない」ということを防ぐ fact5: 乗り易いということが起きるけどぷちゃぷにゃLv.97事件は起こらない fact6: まにゅまにゅLv.98事件が起こる
void -> assump1: 以下のように仮定する。ぽいぽくLv.56事件が起こるし御悪いということは生じない; assump1 -> int1: 御悪いということは起こらない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぽいぽくLv.56事件が起きるが御悪いということは起きない」ということは成り立たない; int3 & fact3 -> hypothesis;
void -> assump1: ({A} & ¬{B}); assump1 -> int1: ¬{B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({A} & ¬{B}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 「「もにょもえLv.42事件が生じるけれど輝かしということは起こらない」ということは成り立たない」ということは成り立つ fact2: 御悪いということが生じる fact3: 仮に「ぽいぽくLv.56事件が生じるけど御悪いということは生じない」ということは成り立つということはないなら病み衰えることが起きる fact4: 「もにょもえLv.42事件は起きない」ということは「意味深いということは生じない」ということを防ぐ fact5: 乗り易いということが起きるけどぷちゃぷにゃLv.97事件は起こらない fact6: まにゅまにゅLv.98事件が起こる ; $hypothesis$ = 病み衰えることが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽいぽくLv.56事件が起こるし御悪いということは生じない; assump1 -> int1: 御悪いということは起こらない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぽいぽくLv.56事件が起きるが御悪いということは起きない」ということは成り立たない; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: ({A} & ¬{B}); assump1 -> int1: ¬{B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({A} & ¬{B}); int3 & fact3 -> hypothesis; __PROVED__