あのぷちょぷにょLv.66は極まりない
fact1: なんらかのモンスターが入会しないなら知り難くてそれに極まりない fact2: もし仮になんらかのモンスターが上り易くないとしたらみみっちくなくてそれは貴方らしくない fact3: みみっちくないしその上貴方らしくないモンスターは入会するということはない fact4: すべてのモンスターは極まりない
fact4 -> int1: すべてのモンスターは極まりない; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
あらゆるモンスターは知り難し
fact7 -> int2: もしあのぷちょぷにょLv.66が入会しないとすると知り難しし極まりない; fact6 -> int3: もしあのぷちょぷにょLv.66がみみっちいということはないし加えて貴方らしいということはないとしたら入会しない; fact5 -> int4: そのもえもにゅLv.61が上り易くないとするとそれはみみっちくないしまた貴方らしくない;
$facts$ = fact1: なんらかのモンスターが入会しないなら知り難くてそれに極まりない fact2: もし仮になんらかのモンスターが上り易くないとしたらみみっちくなくてそれは貴方らしくない fact3: みみっちくないしその上貴方らしくないモンスターは入会するということはない fact4: すべてのモンスターは極まりない ; $hypothesis$ = あのぷちょぷにょLv.66は極まりない ; $proof$ = 
fact4 -> int1: すべてのモンスターは極まりない; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__