もちゃものLv.35事件が生じる
fact1: もし仮に「螺子止めすることが起きないしおまけにみやみちゃLv.45事件は起こらない」ということは誤りであるとしたら遣り難いということは起こらない fact2: もちゃものLv.35事件は「螺子止めすることおよびみやみちゃLv.45事件両方が発生する」ということに阻まれる fact3: 溜め込み易いということは起こらないかあるいはぽちょぽにょLv.36事件が起きないならぽなぽわLv.91事件は起こらない fact4: みやみちゃLv.45事件が発生する fact5: ぽなぽわLv.91事件は生じないということは「みやみちゃLv.45事件は生じないしぽわぽちゃLv.51事件は起こらない」ということを誘発する fact6: みやみちゃLv.45事件が発生しないということはもちゃものLv.35事件および螺子止めすることは発生するを生じさせる fact7: 「螺子止めすることが起こる」ということは成り立つ
fact7 & fact4 -> int1: 螺子止めすることおよびみやみちゃLv.45事件両方ともが起きる; int1 & fact2 -> hypothesis;
fact7 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
もちゃものLv.35事件が生じる
$facts$ = fact1: もし仮に「螺子止めすることが起きないしおまけにみやみちゃLv.45事件は起こらない」ということは誤りであるとしたら遣り難いということは起こらない fact2: もちゃものLv.35事件は「螺子止めすることおよびみやみちゃLv.45事件両方が発生する」ということに阻まれる fact3: 溜め込み易いということは起こらないかあるいはぽちょぽにょLv.36事件が起きないならぽなぽわLv.91事件は起こらない fact4: みやみちゃLv.45事件が発生する fact5: ぽなぽわLv.91事件は生じないということは「みやみちゃLv.45事件は生じないしぽわぽちゃLv.51事件は起こらない」ということを誘発する fact6: みやみちゃLv.45事件が発生しないということはもちゃものLv.35事件および螺子止めすることは発生するを生じさせる fact7: 「螺子止めすることが起こる」ということは成り立つ ; $hypothesis$ = もちゃものLv.35事件が生じる ; $proof$ = 
fact7 & fact4 -> int1: 螺子止めすることおよびみやみちゃLv.45事件両方ともが起きる; int1 & fact2 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __DISPROVED__