そのもよもちゃLv.38は悲しということはない
fact1: もし仮に「そのもよもちゃLv.38は悲しがしかしそれは冗談ぽくない」ということは誤っているならそれは如此しということはない
void -> assump1: 以下のように仮定する。「「そのもよもちゃLv.38は悲しけどそれは冗談ぽくない」ということは成り立つ」ということは成り立たない; fact1 & assump1 -> int1: そのもよもちゃLv.38は如此しない;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{a};
$facts$ = fact1: もし仮に「そのもよもちゃLv.38は悲しがしかしそれは冗談ぽくない」ということは誤っているならそれは如此しということはない ; $hypothesis$ = そのもよもちゃLv.38は悲しということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__