そのみちゅみちゃLv.90は素人っぽくない
fact1: もし仮にこのまちゅまにLv.18は走破しないとすると「このみわみにゅLv.59は素人っぽいけれど早退しない」ということは偽である fact2: もしなんらかのモンスターは早退する一方で素人っぽくないとすると「暮らし易い」ということは成り立つ fact3: すべてのモンスターは分かり難くないしその上それは走破する fact4: あらゆるモンスターは素人っぽい fact5: あらゆるモンスターは早退する
fact4 -> int1: あらゆるモンスターは素人っぽい; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
そのみちゅみちゃLv.90は素人っぽくない
$facts$ = fact1: もし仮にこのまちゅまにLv.18は走破しないとすると「このみわみにゅLv.59は素人っぽいけれど早退しない」ということは偽である fact2: もしなんらかのモンスターは早退する一方で素人っぽくないとすると「暮らし易い」ということは成り立つ fact3: すべてのモンスターは分かり難くないしその上それは走破する fact4: あらゆるモンスターは素人っぽい fact5: あらゆるモンスターは早退する ; $hypothesis$ = そのみちゅみちゃLv.90は素人っぽくない ; $proof$ = 
fact4 -> int1: あらゆるモンスターは素人っぽい; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__