ぽねぽいLv.23事件が起こらないかまたはもちゅもえLv.24事件は発生する
fact1: 「ぽねぽいLv.23事件が起こるしぴにぴよLv.25事件は起きない」ということは本当でない fact2: ぽねぽいLv.23事件かもちゅもえLv.24事件かまたは両方が起こる fact3: もし仮に「湿っぽいということではなく巻き上げることが起こる」ということは成り立たないとすれば巻き上げることは発生しない fact4: ぴにぴよLv.25事件は起こらない fact5: 「心許ないということが起きるけれどもやもちゅLv.59事件は起きない」ということは間違いだ fact6: 「奥床しいということが生じるがしかしみちゅみねLv.29事件は発生しない」ということは誤りである fact7: 巻き上げることは起きないとすればもちゅもえLv.24事件およびぴにぴよLv.25事件両方ともが生じる
void -> assump1: 以下のように仮定する。ぽねぽいLv.23事件が起こる; assump1 & fact4 -> int1: ぽねぽいLv.23事件が起きる一方でぴにぴよLv.25事件は起こらない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぽねぽいLv.23事件は起きない; int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & ¬{B}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 -> hypothesis;
もにょもにLv.46事件は起きない
$facts$ = fact1: 「ぽねぽいLv.23事件が起こるしぴにぴよLv.25事件は起きない」ということは本当でない fact2: ぽねぽいLv.23事件かもちゅもえLv.24事件かまたは両方が起こる fact3: もし仮に「湿っぽいということではなく巻き上げることが起こる」ということは成り立たないとすれば巻き上げることは発生しない fact4: ぴにぴよLv.25事件は起こらない fact5: 「心許ないということが起きるけれどもやもちゅLv.59事件は起きない」ということは間違いだ fact6: 「奥床しいということが生じるがしかしみちゅみねLv.29事件は発生しない」ということは誤りである fact7: 巻き上げることは起きないとすればもちゅもえLv.24事件およびぴにぴよLv.25事件両方ともが生じる ; $hypothesis$ = ぽねぽいLv.23事件が起こらないかまたはもちゅもえLv.24事件は発生する ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽねぽいLv.23事件が起こる; assump1 & fact4 -> int1: ぽねぽいLv.23事件が起きる一方でぴにぴよLv.25事件は起こらない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぽねぽいLv.23事件は起きない; int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & ¬{B}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 -> hypothesis; __PROVED__