「なにがしかのモンスターは他愛無くない」ということは成り立たない
fact1: もしも何らかのモンスターは眩しいということはないとすると「想像し易いけど行儀良くない」ということは偽である fact2: もしも何らかのモンスターは真新しくないなら「骨っぽくてそれにそれは決心しない」ということは成り立たない fact3: もし「「「骨っぽいがしかし決心するということはない」ということは成り立つ」ということは誤りである」モンスターがいるとするとあのぽにぽえLv.94は他愛無くない
fact2 -> int1: もしもこのぷねぷゆLv.43は真新しくないならば「それは骨っぽいしまた決心しない」ということは成り立つということはない;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa});
もし仮にこのみちょみやLv.33は眩しくないとすれば「想像し易いけれど行儀良くない」ということは成り立たない
fact4 -> hypothesis;
$facts$ = fact1: もしも何らかのモンスターは眩しいということはないとすると「想像し易いけど行儀良くない」ということは偽である fact2: もしも何らかのモンスターは真新しくないなら「骨っぽくてそれにそれは決心しない」ということは成り立たない fact3: もし「「「骨っぽいがしかし決心するということはない」ということは成り立つ」ということは誤りである」モンスターがいるとするとあのぽにぽえLv.94は他愛無くない ; $hypothesis$ = 「なにがしかのモンスターは他愛無くない」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__