「ぴえぴいLv.23事件およびぷにぷちょLv.57事件両方が生じる」ということは偽である
fact1: もしぷにぷちょLv.57事件は生じないとすれば「ぴえぴいLv.23事件が起こるしそれにぴいぴのLv.5事件が起こる」ということは成り立つ fact2: 「生き易いということが発生する」ということは正しい fact3: ぴえぴいLv.23事件が起きる fact4: ぷにぷちょLv.57事件が起こる
fact3 -> int1: ぴえぴいLv.23事件が起きる; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact4 -> hypothesis;
ぴいぴのLv.5事件が起きる
$facts$ = fact1: もしぷにぷちょLv.57事件は生じないとすれば「ぴえぴいLv.23事件が起こるしそれにぴいぴのLv.5事件が起こる」ということは成り立つ fact2: 「生き易いということが発生する」ということは正しい fact3: ぴえぴいLv.23事件が起きる fact4: ぷにぷちょLv.57事件が起こる ; $hypothesis$ = 「ぴえぴいLv.23事件およびぷにぷちょLv.57事件両方が生じる」ということは偽である ; $proof$ = 
fact3 -> int1: ぴえぴいLv.23事件が起きる; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact4 -> hypothesis; __DISPROVED__