あのもよもにゃLv.8は恵み深くない
fact1: 遅れ易いモンスターであって育てるモンスターは恵み深いということはない fact2: もしあのもよもにゃLv.8が育てるならそのもいもくLv.75は遅れ易い fact3: あのもよもにゃLv.8は遅れ易くない fact4: 仮にあのもよもにゃLv.8が育てないならそれは恵み深い
void -> assump1: 以下のように仮定する。あのもよもにゃLv.8は育てる; fact2 & assump1 -> int1: そのもいもくLv.75は遅れ易い;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b};
あのもよもにゃLv.8は恵み深くない
fact5 -> int2: 「もし「あのもよもにゃLv.8は遅れ易いしそれに育てる」ということは正しいとしたらあのもよもにゃLv.8は恵み深いということはない」ということは本当である;
$facts$ = fact1: 遅れ易いモンスターであって育てるモンスターは恵み深いということはない fact2: もしあのもよもにゃLv.8が育てるならそのもいもくLv.75は遅れ易い fact3: あのもよもにゃLv.8は遅れ易くない fact4: 仮にあのもよもにゃLv.8が育てないならそれは恵み深い ; $hypothesis$ = あのもよもにゃLv.8は恵み深くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__