「若々しいということは生じない」ということは本当である
fact1: 「誇らしいということは若々しいということを発生させる」ということは事実である fact2: もし仮に「みにょみにゃLv.73事件が発生しないしおまけにみのみやLv.55事件は生じない」ということは成り立たないとすると執筆することは生じない fact3: 仮に執筆することが起こらないとしたらぽにゃぽいLv.99事件は生じなくて若々しいということは生じない fact4: 誇らしいということが生じる fact5: 「物珍しいということは生じない」ということはもにゅもやLv.5事件に阻まれる
fact4 -> int1: 誇らしいということが生じる; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact1 -> hypothesis;
みちゅみくLv.25事件が起こる
$facts$ = fact1: 「誇らしいということは若々しいということを発生させる」ということは事実である fact2: もし仮に「みにょみにゃLv.73事件が発生しないしおまけにみのみやLv.55事件は生じない」ということは成り立たないとすると執筆することは生じない fact3: 仮に執筆することが起こらないとしたらぽにゃぽいLv.99事件は生じなくて若々しいということは生じない fact4: 誇らしいということが生じる fact5: 「物珍しいということは生じない」ということはもにゅもやLv.5事件に阻まれる ; $hypothesis$ = 「若々しいということは生じない」ということは本当である ; $proof$ = 
fact4 -> int1: 誇らしいということが生じる; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__