ぴちゃぴゆLv.36事件ともにゃもにLv.85事件両方が発生する
fact1: ぽえぽやLv.51事件が生じるし更にすーごいということが発生する fact2: ぴちゃぴゆLv.36事件が起きる fact3: もにゃもにLv.85事件はすーごいということが起きるということに引き起こされる fact4: もし「ぽえぽやLv.51事件は起こらない」ということは成り立てば「ぴちゃぴゆLv.36事件が発生するしおまけにもにゃもにLv.85事件は発生する」ということは成り立たない fact5: もちょもちゅLv.28事件およびぽのぽにLv.23事件が起きる fact6: 「ぽえぽやLv.51事件が起こる」ということは本当だ
fact1 -> int1: すーごいということが起きる; int1 & fact3 -> int2: もにゃもにLv.85事件が起きる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact2 -> hypothesis;
「ぴちゃぴゆLv.36事件およびもにゃもにLv.85事件両方ともが生じる」ということは確かでない
$facts$ = fact1: ぽえぽやLv.51事件が生じるし更にすーごいということが発生する fact2: ぴちゃぴゆLv.36事件が起きる fact3: もにゃもにLv.85事件はすーごいということが起きるということに引き起こされる fact4: もし「ぽえぽやLv.51事件は起こらない」ということは成り立てば「ぴちゃぴゆLv.36事件が発生するしおまけにもにゃもにLv.85事件は発生する」ということは成り立たない fact5: もちょもちゅLv.28事件およびぽのぽにLv.23事件が起きる fact6: 「ぽえぽやLv.51事件が起こる」ということは本当だ ; $hypothesis$ = ぴちゃぴゆLv.36事件ともにゃもにLv.85事件両方が発生する ; $proof$ = 
fact1 -> int1: すーごいということが起きる; int1 & fact3 -> int2: もにゃもにLv.85事件が起きる; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__