ぴちゅぴくLv.12事件が発生する
fact1: ピンはねすることが発生するしおまけにぽいぽやLv.61事件が起きる fact2: ぴちゅぴくLv.12事件は「ピンはねすることとぽねぽちゅLv.74事件両方ともが発生する」ということに防がれる fact3: ぽねぽちゅLv.74事件が起きる fact4: もしもぽねぽちゅLv.74事件が生じないならば見境無いということが起こるしさらにぽいぽやLv.61事件は発生する fact5: ぽいぽやLv.61事件が生じる fact6: ぴなぴにょLv.39事件が起こる
fact1 -> int1: ピンはねすることが起こる; int1 & fact3 -> int2: ピンはねすることおよびぽねぽちゅLv.74事件が起こる; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
みちゃみやLv.67事件および見境無いということ両方ともが生じる
$facts$ = fact1: ピンはねすることが発生するしおまけにぽいぽやLv.61事件が起きる fact2: ぴちゅぴくLv.12事件は「ピンはねすることとぽねぽちゅLv.74事件両方ともが発生する」ということに防がれる fact3: ぽねぽちゅLv.74事件が起きる fact4: もしもぽねぽちゅLv.74事件が生じないならば見境無いということが起こるしさらにぽいぽやLv.61事件は発生する fact5: ぽいぽやLv.61事件が生じる fact6: ぴなぴにょLv.39事件が起こる ; $hypothesis$ = ぴちゅぴくLv.12事件が発生する ; $proof$ = 
fact1 -> int1: ピンはねすることが起こる; int1 & fact3 -> int2: ピンはねすることおよびぽねぽちゅLv.74事件が起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__