あのぴにゃぴくLv.66は荒っぽい
fact1: もし「あのぷえぷゆLv.32は荒っぽい一方で輝かしくない」ということは間違いであるならあのぴにゃぴくLv.66は荒っぽくない fact2: もしもこのもえもにゅLv.33は古来たるないならば「あのぷえぷゆLv.32は荒っぽいが輝かしいということはない」ということは誤っている fact3: もし「なんらかのモンスターは思い易くないが古来たる」ということは成り立たないなら古来たるない fact4: すべてのモンスターは見なす
あのぴにゃぴくLv.66は荒っぽくない
fact5 -> int1: もし「このもえもにゅLv.33は思い易くないがしかし古来たる」ということは誤りなら古来たるない;
$facts$ = fact1: もし「あのぷえぷゆLv.32は荒っぽい一方で輝かしくない」ということは間違いであるならあのぴにゃぴくLv.66は荒っぽくない fact2: もしもこのもえもにゅLv.33は古来たるないならば「あのぷえぷゆLv.32は荒っぽいが輝かしいということはない」ということは誤っている fact3: もし「なんらかのモンスターは思い易くないが古来たる」ということは成り立たないなら古来たるない fact4: すべてのモンスターは見なす ; $hypothesis$ = あのぴにゃぴくLv.66は荒っぽい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__