ぽちゃぽちょLv.23事件は生じない
fact1: みちゅみのLv.18事件が起こる fact2: まよまにょLv.42事件が起きるということはみちゅみのLv.18事件が契機だ fact3: 「まよまにょLv.42事件と古臭いということどちらもが生じる」ということはぽちゃぽちょLv.23事件は起きないということをもたらす fact4: 古臭いということが起きる fact5: ぷにぷえLv.45事件が生じる fact6: 「古臭いということが起こるしぽちゃぽちょLv.23事件が生じる」ということはぽよぽわLv.53事件は起こらないということにより発生する
fact2 & fact1 -> int1: まよまにょLv.42事件が生じる; int1 & fact4 -> int2: まよまにょLv.42事件が生じるし加えて古臭いということが発生する; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
「通り易いということが起こる」ということは成り立つ
$facts$ = fact1: みちゅみのLv.18事件が起こる fact2: まよまにょLv.42事件が起きるということはみちゅみのLv.18事件が契機だ fact3: 「まよまにょLv.42事件と古臭いということどちらもが生じる」ということはぽちゃぽちょLv.23事件は起きないということをもたらす fact4: 古臭いということが起きる fact5: ぷにぷえLv.45事件が生じる fact6: 「古臭いということが起こるしぽちゃぽちょLv.23事件が生じる」ということはぽよぽわLv.53事件は起こらないということにより発生する ; $hypothesis$ = ぽちゃぽちょLv.23事件は生じない ; $proof$ = 
fact2 & fact1 -> int1: まよまにょLv.42事件が生じる; int1 & fact4 -> int2: まよまにょLv.42事件が生じるし加えて古臭いということが発生する; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__