しんとすることは起こらない一方でぽやぽなLv.13事件が起こる
fact1: 新しということが発生する fact2: 「ぷにぷにょLv.61事件が起こる」ということはきもいということの原因となる fact3: 「みよみゆLv.31事件とぽにょぽのLv.39事件が起こる」ということは誤りである fact4: もし仮にきもいということが生じるとすれば「しんとすることは生じないけれどぽやぽなLv.13事件が起こる」ということは成り立つということはない fact5: 乗り付けることおよびぷにぷにょLv.61事件どちらもが起きる
fact5 -> int1: ぷにぷにょLv.61事件が発生する; int1 & fact2 -> int2: きもいということが発生する; int2 & fact4 -> hypothesis;
fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 新しということが発生する fact2: 「ぷにぷにょLv.61事件が起こる」ということはきもいということの原因となる fact3: 「みよみゆLv.31事件とぽにょぽのLv.39事件が起こる」ということは誤りである fact4: もし仮にきもいということが生じるとすれば「しんとすることは生じないけれどぽやぽなLv.13事件が起こる」ということは成り立つということはない fact5: 乗り付けることおよびぷにぷにょLv.61事件どちらもが起きる ; $hypothesis$ = しんとすることは起こらない一方でぽやぽなLv.13事件が起こる ; $proof$ = 
fact5 -> int1: ぷにぷにょLv.61事件が発生する; int1 & fact2 -> int2: きもいということが発生する; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis; __DISPROVED__