いじましいということは起きない
fact1: もしうざいということは生じないならば「「理解し辛いということは起こらなくてしかもいじましいということは起こらない」ということは間違っていない」ということは成り立たない fact2: 丸っこいということが起きるということは「喋り難いということが発生するし加えてぴよぴのLv.67事件が生じる」ということに阻止される fact3: 理解し辛いということが発生する fact4: 「ぽにょぽよLv.99事件は起きなくてそれに理解し辛いということは起きない」ということはうざいということに誘発される fact5: 滑り込むことは「ぽにょぽよLv.99事件は起こらない」ということを阻む fact6: 「ぽにょぽよLv.99事件および理解し辛いということが起きる」ということはいじましいということを阻止する fact7: 滑り込むことが起きる
fact5 & fact7 -> int1: ぽにょぽよLv.99事件が発生する; int1 & fact3 -> int2: ぽにょぽよLv.99事件と理解し辛いということどちらもが起きる; int2 & fact6 -> hypothesis;
fact5 & fact7 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis;
密約することが生じる
$facts$ = fact1: もしうざいということは生じないならば「「理解し辛いということは起こらなくてしかもいじましいということは起こらない」ということは間違っていない」ということは成り立たない fact2: 丸っこいということが起きるということは「喋り難いということが発生するし加えてぴよぴのLv.67事件が生じる」ということに阻止される fact3: 理解し辛いということが発生する fact4: 「ぽにょぽよLv.99事件は起きなくてそれに理解し辛いということは起きない」ということはうざいということに誘発される fact5: 滑り込むことは「ぽにょぽよLv.99事件は起こらない」ということを阻む fact6: 「ぽにょぽよLv.99事件および理解し辛いということが起きる」ということはいじましいということを阻止する fact7: 滑り込むことが起きる ; $hypothesis$ = いじましいということは起きない ; $proof$ = 
fact5 & fact7 -> int1: ぽにょぽよLv.99事件が発生する; int1 & fact3 -> int2: ぽにょぽよLv.99事件と理解し辛いということどちらもが起きる; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis; __PROVED__