「このみくみよLv.41は集め易くなくてそれは投棄しない」ということは成り立たない
fact1: このみくみよLv.41が集め易くなくて加えてそれが投棄しないとするとそのみえみちゃLv.76は黒っぽい fact2: 仮にこのみくみよLv.41は集め易くないがしかし投棄するとすれば「そのみえみちゃLv.76は黒っぽい」ということは成り立つ fact3: そのみえみちゃLv.76は執念深くない
void -> assump1: 以下のように仮定する。このみくみよLv.41は集め易くないししかも投棄しない; fact1 & assump1 -> int1: そのみえみちゃLv.76は黒っぽい;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{b};
$facts$ = fact1: このみくみよLv.41が集め易くなくて加えてそれが投棄しないとするとそのみえみちゃLv.76は黒っぽい fact2: 仮にこのみくみよLv.41は集め易くないがしかし投棄するとすれば「そのみえみちゃLv.76は黒っぽい」ということは成り立つ fact3: そのみえみちゃLv.76は執念深くない ; $hypothesis$ = 「このみくみよLv.41は集め易くなくてそれは投棄しない」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__