「たどたどしいということは生じない」ということは成り立つ
fact1: もしも「「姉らしいということが起きるしその上みのみのLv.16事件が生じる」ということは間違っている」ということは本当なら気まずいということは生じない fact2: 辛いということが起きる fact3: まにゅまちょLv.50事件は「たどたどしいということは生じない」ということを回避する fact4: 仮に「まにゅまちょLv.50事件が起きるし更にもにゃもにゅLv.99事件が起こる」ということは成り立たないならばたどたどしいということは発生しない fact5: もし気まずいということは生じないとすれば「まにゅまちょLv.50事件ともにゃもにゅLv.99事件が起こる」ということは成り立つということはない fact6: まにゅまちょLv.50事件が起きる
fact6 -> int1: まにゅまちょLv.50事件が起きる; int1 & fact3 -> hypothesis;
fact6 -> int1: {A}; int1 & fact3 -> hypothesis;
「たどたどしいということは生じない」ということは成り立つ
$facts$ = fact1: もしも「「姉らしいということが起きるしその上みのみのLv.16事件が生じる」ということは間違っている」ということは本当なら気まずいということは生じない fact2: 辛いということが起きる fact3: まにゅまちょLv.50事件は「たどたどしいということは生じない」ということを回避する fact4: 仮に「まにゅまちょLv.50事件が起きるし更にもにゃもにゅLv.99事件が起こる」ということは成り立たないならばたどたどしいということは発生しない fact5: もし気まずいということは生じないとすれば「まにゅまちょLv.50事件ともにゃもにゅLv.99事件が起こる」ということは成り立つということはない fact6: まにゅまちょLv.50事件が起きる ; $hypothesis$ = 「たどたどしいということは生じない」ということは成り立つ ; $proof$ = 
fact6 -> int1: まにゅまちょLv.50事件が起きる; int1 & fact3 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__