このまいまよLv.12は得難い
fact1: もし仮になんらかのモンスターが真っ黒くないならそれは過ごし易くない fact2: このまいまよLv.12は過ごし易い
もし仮にそのまにゅまわLv.48が真っ黒くないなら過ごし易いということはない
fact3 -> hypothesis;
$facts$ = fact1: もし仮になんらかのモンスターが真っ黒くないならそれは過ごし易くない fact2: このまいまよLv.12は過ごし易い ; $hypothesis$ = このまいまよLv.12は得難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__