あのぽよぽにょLv.52は引っ下げない
fact1: 真ん丸いということはないモンスターは引っ下げなくて加えて物珍しいということはない fact2: それは有るらしくないし美しくないというモンスターはない fact3: もしも「「有るらしくないしさらに美しくない」ということは成り立たない」モンスターがいるならそのまなまゆLv.76は物珍しい fact4: 育ち難いということはないモンスターは真ん丸いし賭する fact5: もし仮に「「物珍しくないしかつ真ん丸くない」ということは成り立たない」モンスターがいるとするとそのまなまゆLv.76は有るらしい fact6: もし仮にあのぽゆぽゆLv.22が人間っぽいが吝くないならそのまなまゆLv.76は育ち難くない fact7: そのまなまゆLv.76は物珍しいとすると「あのぽゆぽゆLv.22は真ん丸い」ということは本当である
fact2 -> int1: 「あのぽにぽいLv.99は有るらしくないし更にそれは美しくない」ということは確かでない; int1 -> int2: 「「有るらしくないしまた美しくない」ということは成り立たない」モンスターはいる; int2 & fact3 -> int3: そのまなまゆLv.76は物珍しい; int3 & fact7 -> int4: あのぽゆぽゆLv.22は真ん丸い;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> int2: (Ex): ¬(¬{AA}x & ¬{AB}x); int2 & fact3 -> int3: {A}{a}; int3 & fact7 -> int4: {B}{b};
あのぽよぽにょLv.52は引っ下げない
fact9 -> int5: あのぽよぽにょLv.52が真ん丸くないとしたらそれは引っ下げないしさらに物珍しくない; fact8 -> int6: もしもそのまなまゆLv.76が育ち難くないとすればそのまなまゆLv.76は真ん丸いし賭する;
$facts$ = fact1: 真ん丸いということはないモンスターは引っ下げなくて加えて物珍しいということはない fact2: それは有るらしくないし美しくないというモンスターはない fact3: もしも「「有るらしくないしさらに美しくない」ということは成り立たない」モンスターがいるならそのまなまゆLv.76は物珍しい fact4: 育ち難いということはないモンスターは真ん丸いし賭する fact5: もし仮に「「物珍しくないしかつ真ん丸くない」ということは成り立たない」モンスターがいるとするとそのまなまゆLv.76は有るらしい fact6: もし仮にあのぽゆぽゆLv.22が人間っぽいが吝くないならそのまなまゆLv.76は育ち難くない fact7: そのまなまゆLv.76は物珍しいとすると「あのぽゆぽゆLv.22は真ん丸い」ということは本当である ; $hypothesis$ = あのぽよぽにょLv.52は引っ下げない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__