ぴわぴのLv.16事件が起こる
fact1: もし仮に「まにゃまにゃLv.14事件が生じるしその上好もしいということが生じる」ということは成り立たないとしたらぴわぴのLv.16事件は起こらない fact2: 見出だし難いということが起きる fact3: 見出だし難いということは「ぴわぴのLv.16事件は起きない」ということを阻む
fact2 -> int1: 見出だし難いということが起きる; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
ぽわぽわLv.1事件が生じる
$facts$ = fact1: もし仮に「まにゃまにゃLv.14事件が生じるしその上好もしいということが生じる」ということは成り立たないとしたらぴわぴのLv.16事件は起こらない fact2: 見出だし難いということが起きる fact3: 見出だし難いということは「ぴわぴのLv.16事件は起きない」ということを阻む ; $hypothesis$ = ぴわぴのLv.16事件が起こる ; $proof$ = 
fact2 -> int1: 見出だし難いということが起きる; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__