義絶することは起きない
fact1: ぷちゅぷのLv.62事件は生じないということは「ぴよぴのLv.36事件が起こるしかつ黴臭いということが発生する」ということをもたらす fact2: 「もにもちょLv.21事件が発生するしかつぷちゅぷのLv.62事件が起きる」ということは義絶することを阻む fact3: ぴよぴのLv.36事件が起こる fact4: ぴよぴのLv.36事件およびもにもちょLv.21事件どちらもが起きる fact5: 「ぷちゅぷのLv.62事件が起きる」ということは本当だ
fact4 -> int1: もにもちょLv.21事件が起こる; int1 & fact5 -> int2: もにもちょLv.21事件が生じるしぷちゅぷのLv.62事件が生じる; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
ぽにゅぽやLv.91事件および黴臭いということ両方ともが発生する
$facts$ = fact1: ぷちゅぷのLv.62事件は生じないということは「ぴよぴのLv.36事件が起こるしかつ黴臭いということが発生する」ということをもたらす fact2: 「もにもちょLv.21事件が発生するしかつぷちゅぷのLv.62事件が起きる」ということは義絶することを阻む fact3: ぴよぴのLv.36事件が起こる fact4: ぴよぴのLv.36事件およびもにもちょLv.21事件どちらもが起きる fact5: 「ぷちゅぷのLv.62事件が起きる」ということは本当だ ; $hypothesis$ = 義絶することは起きない ; $proof$ = 
fact4 -> int1: もにもちょLv.21事件が起こる; int1 & fact5 -> int2: もにもちょLv.21事件が生じるしぷちゅぷのLv.62事件が生じる; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__