管理し易いということは起こらない
fact1: 性分らしいということは発生しないということはぽにゅぽくLv.18事件およびぴくぴちゅLv.28事件が発生するにより生じる fact2: 管理し易いということはまえまねLv.0事件および行い易いということが生じるに阻止される fact3: もし仮にぷやぷちゃLv.27事件は起きないならば「「もいものLv.68事件とまえまねLv.0事件が起きる」ということは確かだ」ということは偽だ fact4: もし仮に「「「合わせ辛いということは発生しないしまえまねLv.0事件が起こる」ということは確かである」ということは成り立たない」ということは確かであるとするとまえまねLv.0事件は発生しない fact5: ぷやぷちゃLv.27事件が生じる fact6: 行い易いということが生じる fact7: 「組織化することは起きない」ということは管理し易いということおよび合わせ辛いということが生じるに帰結する fact8: まえまねLv.0事件は生じないということは「ぷやぷちゃLv.27事件が起こる」ということに阻まれる fact9: 「もいものLv.68事件とまえまねLv.0事件が生じる」ということは誤りだとしたらもいものLv.68事件は発生しない
fact8 & fact5 -> int1: まえまねLv.0事件が起きる; int1 & fact6 -> int2: まえまねLv.0事件および行い易いということが起こる; int2 & fact2 -> hypothesis;
fact8 & fact5 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
管理し易いということが生じる
$facts$ = fact1: 性分らしいということは発生しないということはぽにゅぽくLv.18事件およびぴくぴちゅLv.28事件が発生するにより生じる fact2: 管理し易いということはまえまねLv.0事件および行い易いということが生じるに阻止される fact3: もし仮にぷやぷちゃLv.27事件は起きないならば「「もいものLv.68事件とまえまねLv.0事件が起きる」ということは確かだ」ということは偽だ fact4: もし仮に「「「合わせ辛いということは発生しないしまえまねLv.0事件が起こる」ということは確かである」ということは成り立たない」ということは確かであるとするとまえまねLv.0事件は発生しない fact5: ぷやぷちゃLv.27事件が生じる fact6: 行い易いということが生じる fact7: 「組織化することは起きない」ということは管理し易いということおよび合わせ辛いということが生じるに帰結する fact8: まえまねLv.0事件は生じないということは「ぷやぷちゃLv.27事件が起こる」ということに阻まれる fact9: 「もいものLv.68事件とまえまねLv.0事件が生じる」ということは誤りだとしたらもいものLv.68事件は発生しない ; $hypothesis$ = 管理し易いということは起こらない ; $proof$ = 
fact8 & fact5 -> int1: まえまねLv.0事件が起きる; int1 & fact6 -> int2: まえまねLv.0事件および行い易いということが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact8 & fact5 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__