そのみねみよLv.4は聖別する
fact1: もし仮に「なんらかのモンスターは分かり易くて聖別する」ということは誤りであるならば「それは聖別するということはない」ということは正しい
そのみねみよLv.4は聖別するということはない
fact2 -> int1: 仮に「そのみねみよLv.4は分かり易いしその上聖別する」ということは誤りであるならばそれは聖別しない;
$facts$ = fact1: もし仮に「なんらかのモンスターは分かり易くて聖別する」ということは誤りであるならば「それは聖別するということはない」ということは正しい ; $hypothesis$ = そのみねみよLv.4は聖別する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__