もよもにLv.7事件とぴねぴえLv.42事件どちらもが起きる
fact1: 軽侮することは起きないということはそつ無いということに阻まれる fact2: 憎しということは発生しないということは「まあるいということは起きないしその上広しということは発生しない」ということを誘発する fact3: 「もよもにLv.7事件が起こる」ということは成り立つ fact4: もし「まあるいということは起きないし加えて広しということは発生しない」ということは正しいとしたら堪り易いということは起きない fact5: そつ無いということは生じないとすると「もよもにLv.7事件およびぴねぴえLv.42事件どちらもが発生する」ということは誤っている fact6: そつ無いということが生じる fact7: もし仮に堪り易いということは起きないとしたら「軽侮することおよびぽのぽちょLv.82事件が起こる」ということは誤っている fact8: もし仮に軽侮することが発生するとするとぴねぴえLv.42事件は発生する fact9: 堪り易いということは「ぴねぴえLv.42事件は起きなくてぽのぽちょLv.82事件が起きる」ということに帰結する
fact1 & fact6 -> int1: 軽侮することが生じる; int1 & fact8 -> int2: ぴねぴえLv.42事件が生じる; int2 & fact3 -> hypothesis;
fact1 & fact6 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact3 -> hypothesis;
寄る辺無いということが発生する
$facts$ = fact1: 軽侮することは起きないということはそつ無いということに阻まれる fact2: 憎しということは発生しないということは「まあるいということは起きないしその上広しということは発生しない」ということを誘発する fact3: 「もよもにLv.7事件が起こる」ということは成り立つ fact4: もし「まあるいということは起きないし加えて広しということは発生しない」ということは正しいとしたら堪り易いということは起きない fact5: そつ無いということは生じないとすると「もよもにLv.7事件およびぴねぴえLv.42事件どちらもが発生する」ということは誤っている fact6: そつ無いということが生じる fact7: もし仮に堪り易いということは起きないとしたら「軽侮することおよびぽのぽちょLv.82事件が起こる」ということは誤っている fact8: もし仮に軽侮することが発生するとするとぴねぴえLv.42事件は発生する fact9: 堪り易いということは「ぴねぴえLv.42事件は起きなくてぽのぽちょLv.82事件が起きる」ということに帰結する ; $hypothesis$ = もよもにLv.7事件とぴねぴえLv.42事件どちらもが起きる ; $proof$ = 
fact1 & fact6 -> int1: 軽侮することが生じる; int1 & fact8 -> int2: ぴねぴえLv.42事件が生じる; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__