そのまにゅまにLv.57は把握し易いということはないし更にそれは流され易くない
fact1: 把握し易くなくて流され易くないモンスターはない fact2: あるモンスターが執着するということはないか育て易くないかあるいはどちらもならばそれは呼び易くない fact3: 余さないし更にそれは飛行するということはないというモンスターはない fact4: 呼び易くないモンスターは余さないが飲み易い fact5: もしなにがしかのモンスターが余すとしたら把握し易いということはないしかつ流され易くない fact6: そのもちゃもちょLv.99は育て易くない
fact1 -> int1: 把握し易くなくて流され易くないモンスターはない; int1 -> hypothesis;
fact1 -> int1: (x): ¬(¬{AA}x & ¬{AB}x); int1 -> hypothesis;
決別しなくて姦しくないというモンスターはない
fact7 -> int2: そのもちゃもちょLv.99が呼び易くないとすれば余さないが飲み易い;
$facts$ = fact1: 把握し易くなくて流され易くないモンスターはない fact2: あるモンスターが執着するということはないか育て易くないかあるいはどちらもならばそれは呼び易くない fact3: 余さないし更にそれは飛行するということはないというモンスターはない fact4: 呼び易くないモンスターは余さないが飲み易い fact5: もしなにがしかのモンスターが余すとしたら把握し易いということはないしかつ流され易くない fact6: そのもちゃもちょLv.99は育て易くない ; $hypothesis$ = そのまにゅまにLv.57は把握し易いということはないし更にそれは流され易くない ; $proof$ = 
fact1 -> int1: 把握し易くなくて流され易くないモンスターはない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): ¬(¬{AA}x & ¬{AB}x); int1 -> hypothesis; __DISPROVED__