「ぽくぽなLv.36事件が起きる」ということは事実だ
fact1: 仮にぴやぴちゅLv.88事件および迷い易いということどちらもが起きるとすればぽくぽなLv.36事件は生じない fact2: 迷い易いということは発生しないということは甲斐甲斐しいということは生じないということかぽくぽなLv.36事件に繋がる fact3: ぴやぴちゅLv.88事件は発生しないならば起き難いということおよびぷちゅぷえLv.30事件両方が起こる fact4: もし仮に甲斐甲斐しいということは発生しないとしたらぴやぴちゅLv.88事件は起こらない fact5: 「迷い易いということが起こる」ということは真実である fact6: ぴやぴちゅLv.88事件と甲斐甲斐しいということ両方が起きる fact7: 気難しいということが起きる
fact6 -> int1: ぴやぴちゅLv.88事件が起きる; int1 & fact5 -> int2: 「ぴやぴちゅLv.88事件および迷い易いということ両方ともが生じる」ということは事実である; int2 & fact1 -> hypothesis;
fact6 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
起き難いということが起きるしぷちゅぷえLv.30事件が起こる
$facts$ = fact1: 仮にぴやぴちゅLv.88事件および迷い易いということどちらもが起きるとすればぽくぽなLv.36事件は生じない fact2: 迷い易いということは発生しないということは甲斐甲斐しいということは生じないということかぽくぽなLv.36事件に繋がる fact3: ぴやぴちゅLv.88事件は発生しないならば起き難いということおよびぷちゅぷえLv.30事件両方が起こる fact4: もし仮に甲斐甲斐しいということは発生しないとしたらぴやぴちゅLv.88事件は起こらない fact5: 「迷い易いということが起こる」ということは真実である fact6: ぴやぴちゅLv.88事件と甲斐甲斐しいということ両方が起きる fact7: 気難しいということが起きる ; $hypothesis$ = 「ぽくぽなLv.36事件が起きる」ということは事実だ ; $proof$ = 
fact6 -> int1: ぴやぴちゅLv.88事件が起きる; int1 & fact5 -> int2: 「ぴやぴちゅLv.88事件および迷い易いということ両方ともが生じる」ということは事実である; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__