「ぷにゅぷにLv.35事件が生じるし加えてみのみにLv.70事件が起きる」ということは成り立つ
fact1: ぷにゅぷにLv.35事件が起きる fact2: もし仮にぽえぽにLv.62事件が起きないとすれば御めでたいということは発生するが欲しいということは生じない fact3: みのみにLv.70事件が生じる fact4: もしも欲しいということは発生しないとすれば「ぷにゅぷにLv.35事件が生じるしその上みのみにLv.70事件が起こる」ということは偽である fact5: 仮に「長しということが生じるがしかしぽちょぽいLv.52事件は起こらない」ということは誤っているならぽえぽにLv.62事件は起こらない
fact1 -> int1: ぷにゅぷにLv.35事件が起きる; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> hypothesis;
「ぷにゅぷにLv.35事件とみのみにLv.70事件が発生する」ということは誤っている
$facts$ = fact1: ぷにゅぷにLv.35事件が起きる fact2: もし仮にぽえぽにLv.62事件が起きないとすれば御めでたいということは発生するが欲しいということは生じない fact3: みのみにLv.70事件が生じる fact4: もしも欲しいということは発生しないとすれば「ぷにゅぷにLv.35事件が生じるしその上みのみにLv.70事件が起こる」ということは偽である fact5: 仮に「長しということが生じるがしかしぽちょぽいLv.52事件は起こらない」ということは誤っているならぽえぽにLv.62事件は起こらない ; $hypothesis$ = 「ぷにゅぷにLv.35事件が生じるし加えてみのみにLv.70事件が起きる」ということは成り立つ ; $proof$ = 
fact1 -> int1: ぷにゅぷにLv.35事件が起きる; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__