そのまにゅまちゅLv.2ははあはあしない
fact1: 「仮になんらかのモンスターが変化するとしたらはあはあする」ということは成り立つ fact2: あらゆるモンスターははあはあする
fact2 -> int1: あらゆるモンスターははあはあする; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
そのまちゃまちゅLv.24ははあはあする
fact3 -> int2: もしもそのまちゃまちゅLv.24が変化するとすればそれははあはあする;
$facts$ = fact1: 「仮になんらかのモンスターが変化するとしたらはあはあする」ということは成り立つ fact2: あらゆるモンスターははあはあする ; $hypothesis$ = そのまにゅまちゅLv.2ははあはあしない ; $proof$ = 
fact2 -> int1: あらゆるモンスターははあはあする; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__