「あのぴねぴわLv.42は黄色っぽくないし加えて珍しくない」ということは成り立たない
fact1: 仮になんらかのモンスターは親しいならば「それは疑わしくないしおまけに名残惜しくない」ということは成り立たない fact2: このもにょもやLv.39は苦慮するということはない fact3: もしもそのもちゅもえLv.6が黄色っぽいならこのもにょもやLv.39は苦慮する
void -> assump1: 以下のように仮定する。「そのもちゅもえLv.6は黄色っぽい」ということは真実だ; fact3 & assump1 -> int1: このもにょもやLv.39は苦慮する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのもちゅもえLv.6は黄色っぽくない;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
このもにょもやLv.39は珍しくない
fact4 -> int4: 仮にそのまちゅまえLv.16は親しいとすると「そのまちゅまえLv.16は疑わしくないしかつ名残惜しくない」ということは成り立つということはない;
$facts$ = fact1: 仮になんらかのモンスターは親しいならば「それは疑わしくないしおまけに名残惜しくない」ということは成り立たない fact2: このもにょもやLv.39は苦慮するということはない fact3: もしもそのもちゅもえLv.6が黄色っぽいならこのもにょもやLv.39は苦慮する ; $hypothesis$ = 「あのぴねぴわLv.42は黄色っぽくないし加えて珍しくない」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__