浅ましということが起きる
fact1: ぽちょぽちょLv.1事件は「ぽちょぽにょLv.74事件は起きない」ということを防ぐ fact2: ぽちょぽちょLv.1事件が生じる fact3: 遣り捲ることとぽちょぽにょLv.74事件両方ともが発生するなら浅ましということは生じない fact4: もし「緩み易いということは起こらないかまたは分離し易いということは起きないかどちらもだ」ということは成り立たないとすれば遣り捲ることは生じない fact5: 浅ましということは「ぽちょぽにょLv.74事件が生じないしおまけにぽちょぽちょLv.1事件は生じない」ということに引き起こされる fact6: 抜き難いということは「ぽにぽにょLv.85事件は発生しない」ということを回避する fact7: ぷくぷのLv.53事件が発生するしもねもえLv.89事件が生じる fact8: 思い易いということは移行し易いということは発生しないということを回避する fact9: 「遣り捲ることが起こる」ということは事実だ
fact1 & fact2 -> int1: ぽちょぽにょLv.74事件が起こる; int1 & fact9 -> int2: 遣り捲ることが生じるしぽちょぽにょLv.74事件が発生する; int2 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 & fact9 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
浅ましということが起きる
$facts$ = fact1: ぽちょぽちょLv.1事件は「ぽちょぽにょLv.74事件は起きない」ということを防ぐ fact2: ぽちょぽちょLv.1事件が生じる fact3: 遣り捲ることとぽちょぽにょLv.74事件両方ともが発生するなら浅ましということは生じない fact4: もし「緩み易いということは起こらないかまたは分離し易いということは起きないかどちらもだ」ということは成り立たないとすれば遣り捲ることは生じない fact5: 浅ましということは「ぽちょぽにょLv.74事件が生じないしおまけにぽちょぽちょLv.1事件は生じない」ということに引き起こされる fact6: 抜き難いということは「ぽにぽにょLv.85事件は発生しない」ということを回避する fact7: ぷくぷのLv.53事件が発生するしもねもえLv.89事件が生じる fact8: 思い易いということは移行し易いということは発生しないということを回避する fact9: 「遣り捲ることが起こる」ということは事実だ ; $hypothesis$ = 浅ましということが起きる ; $proof$ = 
fact1 & fact2 -> int1: ぽちょぽにょLv.74事件が起こる; int1 & fact9 -> int2: 遣り捲ることが生じるしぽちょぽにょLv.74事件が発生する; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}; int1 & fact9 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __DISPROVED__