ぴわぴねLv.32事件と哀れっぽいということが起こる
fact1: 哀れっぽいということが起きる fact2: もし「ぴわぴねLv.32事件が起きるしかつもいもにゃLv.87事件が起きる」ということは真実でないとするとぴわぴねLv.32事件は起きない fact3: おっそろしということが起きる fact4: おっそろしということは古しということに帰結する fact5: 古しということが起きるということは「ぴわぴねLv.32事件は生じない」ということを防ぐ fact6: 「払拭し切れることおよび古しということどちらもが起こる」ということは「哀れっぽいということは発生しない」ということに引き起こされる
fact4 & fact3 -> int1: 古しということが発生する; int1 & fact5 -> int2: ぴわぴねLv.32事件が起きる; int2 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> hypothesis;
疲れ易いということと払拭し切れることが起きる
$facts$ = fact1: 哀れっぽいということが起きる fact2: もし「ぴわぴねLv.32事件が起きるしかつもいもにゃLv.87事件が起きる」ということは真実でないとするとぴわぴねLv.32事件は起きない fact3: おっそろしということが起きる fact4: おっそろしということは古しということに帰結する fact5: 古しということが起きるということは「ぴわぴねLv.32事件は生じない」ということを防ぐ fact6: 「払拭し切れることおよび古しということどちらもが起こる」ということは「哀れっぽいということは発生しない」ということに引き起こされる ; $hypothesis$ = ぴわぴねLv.32事件と哀れっぽいということが起こる ; $proof$ = 
fact4 & fact3 -> int1: 古しということが発生する; int1 & fact5 -> int2: ぴわぴねLv.32事件が起きる; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__