あのみのみやLv.8はめんど臭くない
fact1: 仮にこのもくものLv.45は入り辛いならば「あのもよもにょLv.16は負う一方で送致しない」ということは誤っている fact2: もし悪賢いモンスターが入り辛いとするとそれはめんど臭くない fact3: あのもよもにょLv.16が浅黒いとしたらあのみのみやLv.8はめんど臭い fact4: あらゆるモンスターは悪賢い fact5: もし仮に「あのもよもにょLv.16は負うが送致するということはない」ということは成り立たないならそれは浅黒い
あのみのみやLv.8はめんど臭くない
fact7 -> int1: もしもあのみのみやLv.8が悪賢いモンスターであって入り辛いならあのみのみやLv.8はめんど臭くない; fact6 -> int2: あのみのみやLv.8は悪賢い;
$facts$ = fact1: 仮にこのもくものLv.45は入り辛いならば「あのもよもにょLv.16は負う一方で送致しない」ということは誤っている fact2: もし悪賢いモンスターが入り辛いとするとそれはめんど臭くない fact3: あのもよもにょLv.16が浅黒いとしたらあのみのみやLv.8はめんど臭い fact4: あらゆるモンスターは悪賢い fact5: もし仮に「あのもよもにょLv.16は負うが送致するということはない」ということは成り立たないならそれは浅黒い ; $hypothesis$ = あのみのみやLv.8はめんど臭くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__