このぽちょぽなLv.84は使い易い
fact1: すべてのモンスターは取れ易い fact2: すべてのモンスターは使い易い fact3: 全てのモンスターは把握し難い fact4: 冷め易くないモンスターはいがらっぽいししかも使い易い fact5: もしそのみゆみにLv.44が湿気易いならばそれは乗り易い
fact2 -> int1: すべてのモンスターは使い易い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
「すべてのモンスターはいがらっぽい」ということは成り立つ
fact6 -> int2: 仮にこのぽちょぽなLv.84が冷め易くないとしたらこのぽちょぽなLv.84はいがらっぽくて使い易い;
$facts$ = fact1: すべてのモンスターは取れ易い fact2: すべてのモンスターは使い易い fact3: 全てのモンスターは把握し難い fact4: 冷め易くないモンスターはいがらっぽいししかも使い易い fact5: もしそのみゆみにLv.44が湿気易いならばそれは乗り易い ; $hypothesis$ = このぽちょぽなLv.84は使い易い ; $proof$ = 
fact2 -> int1: すべてのモンスターは使い易い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__