このもちょもくLv.80は過不足無くない
fact1: あらゆるモンスターは過不足無い fact2: 仮にそのぴなぴにゅLv.97が過不足無いが判別しないとするとこのもちょもくLv.80は過不足無くない fact3: そのぴなぴにゅLv.97は過不足無い
fact1 -> int1: あらゆるモンスターは過不足無い; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
このもちょもくLv.80は過不足無くない
$facts$ = fact1: あらゆるモンスターは過不足無い fact2: 仮にそのぴなぴにゅLv.97が過不足無いが判別しないとするとこのもちょもくLv.80は過不足無くない fact3: そのぴなぴにゅLv.97は過不足無い ; $hypothesis$ = このもちょもくLv.80は過不足無くない ; $proof$ = 
fact1 -> int1: あらゆるモンスターは過不足無い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__