「あのみにょみちゅLv.17は笑い飛ばす」ということは事実だ
fact1: 上げ難いモンスターであってさらにし難くないモンスターはない fact2: もし「なんらかのモンスターは検討し直すけれど呆気なくない」ということは成り立たないとしたら湿っぽい fact3: もし「あのみにょみちゅLv.17は上げ難いけどし難いということはない」ということは偽であるとしたら「それは笑い飛ばす」ということは本当である
fact1 -> int1: 「あのみにょみちゅLv.17は上げ難いがしかしし難くない」ということは成り立たない; int1 & fact3 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> hypothesis;
「あのみにょみちゅLv.17は検討し直すけれど呆気なくない」ということは誤りであるとしたらあのみにょみちゅLv.17は湿っぽい
fact4 -> hypothesis;
$facts$ = fact1: 上げ難いモンスターであってさらにし難くないモンスターはない fact2: もし「なんらかのモンスターは検討し直すけれど呆気なくない」ということは成り立たないとしたら湿っぽい fact3: もし「あのみにょみちゅLv.17は上げ難いけどし難いということはない」ということは偽であるとしたら「それは笑い飛ばす」ということは本当である ; $hypothesis$ = 「あのみにょみちゅLv.17は笑い飛ばす」ということは事実だ ; $proof$ = 
fact1 -> int1: 「あのみにょみちゅLv.17は上げ難いがしかしし難くない」ということは成り立たない; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> hypothesis; __PROVED__