あのぽゆぽゆLv.76は測り難い
fact1: 全てのモンスターは安っぽい fact2: もしこのみゆみやLv.0が緩み易くないならあのぽゆぽゆLv.76は進め易くてそれに測り難い fact3: あらゆるモンスターは測り難い fact4: 仮に何らかのモンスターは生じ難くないとすると「緩み易くないしそれは清し」ということは事実と異なる fact5: もしも「このみゆみやLv.0は緩み易いということはないがそれは清し」ということは誤りであるとしたらあのぽゆぽゆLv.76は測り難くない
fact3 -> int1: あらゆるモンスターは測り難い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あのぽゆぽゆLv.76は進め易い
$facts$ = fact1: 全てのモンスターは安っぽい fact2: もしこのみゆみやLv.0が緩み易くないならあのぽゆぽゆLv.76は進め易くてそれに測り難い fact3: あらゆるモンスターは測り難い fact4: 仮に何らかのモンスターは生じ難くないとすると「緩み易くないしそれは清し」ということは事実と異なる fact5: もしも「このみゆみやLv.0は緩み易いということはないがそれは清し」ということは誤りであるとしたらあのぽゆぽゆLv.76は測り難くない ; $hypothesis$ = あのぽゆぽゆLv.76は測り難い ; $proof$ = 
fact3 -> int1: あらゆるモンスターは測り難い; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__