「そのみねみちょLv.91は赤しかそれは山深い」ということは偽である
fact1: あのみちゅみのLv.2は山深い fact2: 全てのモンスターは利用され易くない fact3: もし仮にそのみねみちょLv.91が山深いとするとあのまちゃまゆLv.30は赤し fact4: もし仮になんらかのモンスターは利用され易くないなら「それは管理し易いし加えてそれは吊れる」ということは間違っている fact5: もしなにがしかのモンスターが吊れないとしたらそれは山深くてさらに破れ難い
あのまちゃまゆLv.30は赤し
fact6 -> int1: もしそのみねみちょLv.91が吊れないならそれは山深くてまた破れ難い; fact9 -> int2: もし仮にこのぽなぽいLv.36は利用され易くないとしたら「それは管理し易いし更にそれは吊れる」ということは成り立つということはない; fact8 -> int3: このぽなぽいLv.36は利用され易くない; int2 & int3 -> int4: 「このぽなぽいLv.36は管理し易いし吊れる」ということは間違いだ; int4 -> int5: 管理し易いモンスターでその上吊れるモンスターはない; int5 -> int6: 「そのもにもわLv.55が管理し易いしその上それは吊れる」ということは間違っている;
$facts$ = fact1: あのみちゅみのLv.2は山深い fact2: 全てのモンスターは利用され易くない fact3: もし仮にそのみねみちょLv.91が山深いとするとあのまちゃまゆLv.30は赤し fact4: もし仮になんらかのモンスターは利用され易くないなら「それは管理し易いし加えてそれは吊れる」ということは間違っている fact5: もしなにがしかのモンスターが吊れないとしたらそれは山深くてさらに破れ難い ; $hypothesis$ = 「そのみねみちょLv.91は赤しかそれは山深い」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__