「このみえみねLv.55は管理し易くなくて苦笑いしない」ということは偽である
fact1: もしそのまちゅまのLv.37は苦笑いしないなら「このみえみねLv.55は管理し易くない一方で苦笑いする」ということは間違っている fact2: 「とあるモンスターが震え続けないならば消化し易いが素人っぽくない」ということは真実である fact3: もし仮にそのまちゅまのLv.37は苦笑いするとしたら「それは伝え易い」ということは成り立つ fact4: 「このみえみねLv.55は管理し易いモンスターで苦笑いしない」ということは本当でない fact5: もし仮にそのまちゅまのLv.37は苦笑いしないとすれば「このみえみねLv.55は管理し易いがしかし苦笑いしない」ということは成り立たない fact6: そのまちゅまのLv.37は伝え易くない fact7: 「このみえみねLv.55は管理し易くないがそれは苦笑いする」ということは嘘である
void -> assump1: 以下のように仮定する。そのまちゅまのLv.37は苦笑いする; fact3 & assump1 -> int1: そのまちゅまのLv.37は伝え易い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまちゅまのLv.37は苦笑いしない;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
このみえみねLv.55は管理し易くなくてしかも苦笑いしない
fact8 -> int4: もしそのぷわぷにょLv.31が震え続けないとしたらそのぷわぷにょLv.31は消化し易い一方で素人っぽくない;
$facts$ = fact1: もしそのまちゅまのLv.37は苦笑いしないなら「このみえみねLv.55は管理し易くない一方で苦笑いする」ということは間違っている fact2: 「とあるモンスターが震え続けないならば消化し易いが素人っぽくない」ということは真実である fact3: もし仮にそのまちゅまのLv.37は苦笑いするとしたら「それは伝え易い」ということは成り立つ fact4: 「このみえみねLv.55は管理し易いモンスターで苦笑いしない」ということは本当でない fact5: もし仮にそのまちゅまのLv.37は苦笑いしないとすれば「このみえみねLv.55は管理し易いがしかし苦笑いしない」ということは成り立たない fact6: そのまちゅまのLv.37は伝え易くない fact7: 「このみえみねLv.55は管理し易くないがそれは苦笑いする」ということは嘘である ; $hypothesis$ = 「このみえみねLv.55は管理し易くなくて苦笑いしない」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__