あのみやみにLv.57は輝かしい
fact1: 置き易くないモンスターは輝かしくないしまた勇ましくない
あのみやみにLv.57は輝かしくない
fact2 -> int1: あのみやみにLv.57が置き易くないなら輝かしくないしその上勇ましくない;
$facts$ = fact1: 置き易くないモンスターは輝かしくないしまた勇ましくない ; $hypothesis$ = あのみやみにLv.57は輝かしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__