なんらかのモンスターは御固いかそれは大差無い
fact1: もしもとあるモンスターは兼ね備えないとすると「「それは流され易いし加えてそれは大差無い」ということは正しい」ということは誤っている fact2: 「あらゆるモンスターは兼ね備えない」ということは正しい fact3: もしもこのぴゆぴいLv.41が白々しいとしたら御固い fact4: もし「「あのぽちゃぽわLv.41は流され易いしその上大差無い」ということは間違いだ」ということは確かならそのもわもゆLv.82は御固くない fact5: もしそのもわもゆLv.82が淡いとすればあのぽちゃぽわLv.41は慎み深い fact6: もしあのぽちゃぽわLv.41が慎み深いとするとこのぴゆぴいLv.41は白々しい fact7: もしもそのもわもゆLv.82が白々しいとすればあのぽのぽねLv.98は淡い
あのぽのぽねLv.98は励起する
fact10 -> int1: このぴゆぴいLv.41は兼ね備えない; fact8 -> int2: このぴゆぴいLv.41は兼ね備えないならば「流され易いし大差無い」ということは誤りだ; int1 & int2 -> int3: 「このぴゆぴいLv.41は流され易いししかも大差無い」ということは嘘である; int3 -> int4: 流され易いし大差無いというモンスターはない; int4 -> int5: 「あのぽちゃぽわLv.41は流され易くてさらに大差無い」ということは誤りである; fact9 & int5 -> int6: そのもわもゆLv.82は御固くない;
$facts$ = fact1: もしもとあるモンスターは兼ね備えないとすると「「それは流され易いし加えてそれは大差無い」ということは正しい」ということは誤っている fact2: 「あらゆるモンスターは兼ね備えない」ということは正しい fact3: もしもこのぴゆぴいLv.41が白々しいとしたら御固い fact4: もし「「あのぽちゃぽわLv.41は流され易いしその上大差無い」ということは間違いだ」ということは確かならそのもわもゆLv.82は御固くない fact5: もしそのもわもゆLv.82が淡いとすればあのぽちゃぽわLv.41は慎み深い fact6: もしあのぽちゃぽわLv.41が慎み深いとするとこのぴゆぴいLv.41は白々しい fact7: もしもそのもわもゆLv.82が白々しいとすればあのぽのぽねLv.98は淡い ; $hypothesis$ = なんらかのモンスターは御固いかそれは大差無い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__