「ぽにょぽよLv.89事件が起きるし絶え難いということは生じない」ということは間違いだ
fact1: 「仮にまえまくLv.90事件は起こらないならばぽにょぽよLv.89事件が起こるし絶え難いということは生じない」ということは成り立つ fact2: もしぴくぴちゅLv.22事件が起こらなくてしかもまえまくLv.90事件が起こらないとしたらみいみちょLv.73事件は起きない fact3: ぴくぴちゅLv.22事件が起こる fact4: 「みいみちょLv.73事件とぴくぴちゅLv.22事件両方が発生する」ということはまえまくLv.90事件を阻む fact5: 「みいみちょLv.73事件が起こる」ということは偽でない fact6: 「みいみちょLv.73事件が起こるしおまけに書き直せることが起こる」ということは「ぴくぴちゅLv.22事件は起きない」ということに起因する fact7: もし仮に絶え難いということが起こるとするとまえまくLv.90事件が生じなくてその上ぴくぴちゅLv.22事件は生じない fact8: ぷねぷゆLv.27事件が起きないとしたらぽにょぽよLv.89事件は発生するしまた絶え難いということが起こる fact9: もし仮にみいみちょLv.73事件は生じないならば「ぽにょぽよLv.89事件が発生するし絶え難いということは起きない」ということは偽だ
fact5 & fact3 -> int1: みいみちょLv.73事件およびぴくぴちゅLv.22事件両方ともが発生する; int1 & fact4 -> int2: 「まえまくLv.90事件は発生しない」ということは成り立つ; int2 & fact1 -> hypothesis;
fact5 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
「書き直せることが起こる」ということは事実だ
$facts$ = fact1: 「仮にまえまくLv.90事件は起こらないならばぽにょぽよLv.89事件が起こるし絶え難いということは生じない」ということは成り立つ fact2: もしぴくぴちゅLv.22事件が起こらなくてしかもまえまくLv.90事件が起こらないとしたらみいみちょLv.73事件は起きない fact3: ぴくぴちゅLv.22事件が起こる fact4: 「みいみちょLv.73事件とぴくぴちゅLv.22事件両方が発生する」ということはまえまくLv.90事件を阻む fact5: 「みいみちょLv.73事件が起こる」ということは偽でない fact6: 「みいみちょLv.73事件が起こるしおまけに書き直せることが起こる」ということは「ぴくぴちゅLv.22事件は起きない」ということに起因する fact7: もし仮に絶え難いということが起こるとするとまえまくLv.90事件が生じなくてその上ぴくぴちゅLv.22事件は生じない fact8: ぷねぷゆLv.27事件が起きないとしたらぽにょぽよLv.89事件は発生するしまた絶え難いということが起こる fact9: もし仮にみいみちょLv.73事件は生じないならば「ぽにょぽよLv.89事件が発生するし絶え難いということは起きない」ということは偽だ ; $hypothesis$ = 「ぽにょぽよLv.89事件が起きるし絶え難いということは生じない」ということは間違いだ ; $proof$ = 
fact5 & fact3 -> int1: みいみちょLv.73事件およびぴくぴちゅLv.22事件両方ともが発生する; int1 & fact4 -> int2: 「まえまくLv.90事件は発生しない」ということは成り立つ; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __DISPROVED__