以下のように仮定する。ぴよぴにゅLv.21事件が起きる
fact1: 「「もやもねLv.15事件が生じるしその上ぴよぴにゅLv.21事件が生じる」ということは真実だ」ということは成り立たないならもやもねLv.15事件は起きない fact2: ぷねぷにゅLv.52事件は発生しない fact3: もし仮にぽにゃぽのLv.81事件は発生しないならば「肉付けすることは生じないしぷにゃぷゆLv.94事件は生じない」ということは成り立たない fact4: もしも「ぽにゃぽのLv.81事件とぽのぽにゅLv.14事件どちらもが発生する」ということは事実と異なるとすればぽにゃぽのLv.81事件は生じない fact5: もし仮にぷにゃぷゆLv.94事件は発生しないとしたら「もやもねLv.15事件が生じるし更にぴよぴにゅLv.21事件が生じる」ということは成り立たない fact6: もしぴよぴにゅLv.21事件とぷにゃぷゆLv.94事件が発生すれば肉付けすることは生じない fact7: 「ぷにゃぷゆLv.94事件は生じない」ということは成り立たない fact8: 肉付けすることが生じる
void -> assump1: 以下のように仮定する。ぴよぴにゅLv.21事件が起きる; assump1 & fact7 -> int1: ぴよぴにゅLv.21事件が発生するしぷにゃぷゆLv.94事件が起きる; int1 & fact6 -> int2: 肉付けすることは発生しない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact7 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis;
もやもねLv.15事件は起きない
$facts$ = fact1: 「「もやもねLv.15事件が生じるしその上ぴよぴにゅLv.21事件が生じる」ということは真実だ」ということは成り立たないならもやもねLv.15事件は起きない fact2: ぷねぷにゅLv.52事件は発生しない fact3: もし仮にぽにゃぽのLv.81事件は発生しないならば「肉付けすることは生じないしぷにゃぷゆLv.94事件は生じない」ということは成り立たない fact4: もしも「ぽにゃぽのLv.81事件とぽのぽにゅLv.14事件どちらもが発生する」ということは事実と異なるとすればぽにゃぽのLv.81事件は生じない fact5: もし仮にぷにゃぷゆLv.94事件は発生しないとしたら「もやもねLv.15事件が生じるし更にぴよぴにゅLv.21事件が生じる」ということは成り立たない fact6: もしぴよぴにゅLv.21事件とぷにゃぷゆLv.94事件が発生すれば肉付けすることは生じない fact7: 「ぷにゃぷゆLv.94事件は生じない」ということは成り立たない fact8: 肉付けすることが生じる ; $hypothesis$ = 以下のように仮定する。ぴよぴにゅLv.21事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴよぴにゅLv.21事件が起きる; assump1 & fact7 -> int1: ぴよぴにゅLv.21事件が発生するしぷにゃぷゆLv.94事件が起きる; int1 & fact6 -> int2: 肉付けすることは発生しない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact7 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__