「「このもにゅもくLv.14は情けなくなくて貶まない」ということは成り立たない」ということは事実である
fact1: もしこのまよまやLv.76が情けないということはないとするとこのもにゅもくLv.14は情けないということはない fact2: もし仮にこのまよまやLv.76は情けないとすると「そのもにょもにLv.34は甲高い」ということは成り立つ fact3: 縁遠いモンスターは甲高い fact4: もし「あるモンスターは貶まないけど甲高い」ということは間違いであるとするとそれは甲高くない fact5: 仮になんらかのモンスターは甲高いとしたら「情けないということはないし加えて貶まない」ということは偽だ fact6: みみっちいということはなくて更に可笑しモンスターは縁遠い fact7: もしも「このまよまやLv.76は情けない」ということは事実でないならばこのもにゅもくLv.14は情けないということはないししかも貶まない
void -> assump1: 以下のように仮定する。このまよまやLv.76は情けない; fact2 & assump1 -> int1: そのもにょもにLv.34は甲高い;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b};
「「このもにゅもくLv.14は情けなくなくて貶まない」ということは成り立たない」ということは事実である
fact10 -> int2: 仮にこのもにゅもくLv.14は甲高いとしたら「それは情けないということはないし加えて貶まない」ということは成り立たない; fact8 -> int3: このもにゅもくLv.14が縁遠いとすれば甲高い; fact9 -> int4: このもにゅもくLv.14がみみっちいということはないが可笑しとしたらこのもにゅもくLv.14は縁遠い;
$facts$ = fact1: もしこのまよまやLv.76が情けないということはないとするとこのもにゅもくLv.14は情けないということはない fact2: もし仮にこのまよまやLv.76は情けないとすると「そのもにょもにLv.34は甲高い」ということは成り立つ fact3: 縁遠いモンスターは甲高い fact4: もし「あるモンスターは貶まないけど甲高い」ということは間違いであるとするとそれは甲高くない fact5: 仮になんらかのモンスターは甲高いとしたら「情けないということはないし加えて貶まない」ということは偽だ fact6: みみっちいということはなくて更に可笑しモンスターは縁遠い fact7: もしも「このまよまやLv.76は情けない」ということは事実でないならばこのもにゅもくLv.14は情けないということはないししかも貶まない ; $hypothesis$ = 「「このもにゅもくLv.14は情けなくなくて貶まない」ということは成り立たない」ということは事実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__