そのもやものLv.20は賢し
fact1: 仮に「あるモンスターはまだるっこしくない」ということは成り立つとすれば「旨しが逃れ難くない」ということは偽だ fact2: もしそのもやものLv.20が旨しとすると賢し fact3: 御早くないモンスターは賢しない fact4: あらゆるモンスターは濡れ光る fact5: 「そのもやものLv.20は旨し一方で逃れ難くない」ということは間違いなら旨しない fact6: もしもそのもやものLv.20が御早いならばそのもやものLv.20は旨し
そのもやものLv.20は賢しということはない
fact9 -> int1: そのもやものLv.20が御早くないとしたらそれは賢しということはない; fact8 -> int2: 「もし「このぷいぷにLv.44はまだるっこしくない」ということは本当だとすれば「このぷいぷにLv.44は旨しけどそれは逃れ難くない」ということは確かでない」ということは事実と異ならない;
$facts$ = fact1: 仮に「あるモンスターはまだるっこしくない」ということは成り立つとすれば「旨しが逃れ難くない」ということは偽だ fact2: もしそのもやものLv.20が旨しとすると賢し fact3: 御早くないモンスターは賢しない fact4: あらゆるモンスターは濡れ光る fact5: 「そのもやものLv.20は旨し一方で逃れ難くない」ということは間違いなら旨しない fact6: もしもそのもやものLv.20が御早いならばそのもやものLv.20は旨し ; $hypothesis$ = そのもやものLv.20は賢し ; $proof$ = 
__UNKNOWN__
__UNKNOWN__