ぽえぽなLv.51事件は発生しない
fact1: 惨め過ぎることは起こらないとすれば書かすことが生じるしぴにゅぴちょLv.30事件が起きる fact2: もしえげつないということが生じるなら「ぽくぽちゅLv.81事件は生じなくて惨め過ぎることが起こる」ということは間違っている fact3: 惨め過ぎることが起きる fact4: ぴにゅぴちょLv.30事件が起きる fact5: もし仮に惨め過ぎることは起こらないならばぽえぽなLv.51事件およびぴにゅぴちょLv.30事件が起こる fact6: 仮に「ぽくぽちゅLv.81事件は発生しなくて惨め過ぎることが起こる」ということは偽であるならば惨め過ぎることは生じない fact7: 出来易いということと外し易いということが生じる fact8: ぴにゅぴちょLv.30事件および惨め過ぎること両方ともが生じるとするとぽえぽなLv.51事件は発生しない
fact4 & fact3 -> int1: ぴにゅぴちょLv.30事件が生じるししかも惨め過ぎることが発生する; int1 & fact8 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact8 -> hypothesis;
書かすことが発生する
$facts$ = fact1: 惨め過ぎることは起こらないとすれば書かすことが生じるしぴにゅぴちょLv.30事件が起きる fact2: もしえげつないということが生じるなら「ぽくぽちゅLv.81事件は生じなくて惨め過ぎることが起こる」ということは間違っている fact3: 惨め過ぎることが起きる fact4: ぴにゅぴちょLv.30事件が起きる fact5: もし仮に惨め過ぎることは起こらないならばぽえぽなLv.51事件およびぴにゅぴちょLv.30事件が起こる fact6: 仮に「ぽくぽちゅLv.81事件は発生しなくて惨め過ぎることが起こる」ということは偽であるならば惨め過ぎることは生じない fact7: 出来易いということと外し易いということが生じる fact8: ぴにゅぴちょLv.30事件および惨め過ぎること両方ともが生じるとするとぽえぽなLv.51事件は発生しない ; $hypothesis$ = ぽえぽなLv.51事件は発生しない ; $proof$ = 
fact4 & fact3 -> int1: ぴにゅぴちょLv.30事件が生じるししかも惨め過ぎることが発生する; int1 & fact8 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact8 -> hypothesis; __PROVED__