あるモンスターは忝くないか身軽いということはないかどちらもだ
fact1: もし仮に「あのものもにょLv.77は忝いということはないかあるいはそれは身軽くない」ということは誤りであるならば邪魔臭くない
void -> assump1: 以下のように仮定する。「あのものもにょLv.77は忝いということはないか身軽いということはない」ということは間違いである; fact1 & assump1 -> int1: あのものもにょLv.77は邪魔臭くない;
void -> assump1: ¬(¬{AA}{a} v ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{a};
$facts$ = fact1: もし仮に「あのものもにょLv.77は忝いということはないかあるいはそれは身軽くない」ということは誤りであるならば邪魔臭くない ; $hypothesis$ = あるモンスターは忝くないか身軽いということはないかどちらもだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__