このまにゅまのLv.28はみっとも可愛くない
fact1: このまにゅまのLv.28は運転し易いなら「是非しなくてミュートしない」ということは事実と異なる fact2: 仮にこのまにゅまのLv.28がみっとも可愛いとすればこのまにゅまのLv.28は運転し易い
void -> assump1: 以下のように仮定する。このまにゅまのLv.28はみっとも可愛い; fact2 & assump1 -> int1: このまにゅまのLv.28は運転し易い; int1 & fact1 -> int2: 「このまにゅまのLv.28は是非するということはないしその上ミュートしない」ということは間違いだ;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: ¬(¬{D}{a} & ¬{C}{a});
$facts$ = fact1: このまにゅまのLv.28は運転し易いなら「是非しなくてミュートしない」ということは事実と異なる fact2: 仮にこのまにゅまのLv.28がみっとも可愛いとすればこのまにゅまのLv.28は運転し易い ; $hypothesis$ = このまにゅまのLv.28はみっとも可愛くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__