あのまくまくLv.51は付け易い
fact1: もしもこのぴよぴよLv.18が直り難いということはないとしたらそれは付け易いしかつ覚束無い fact2: 全てのモンスターは付け易い
fact2 -> int1: 全てのモンスターは付け易い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
このぴよぴよLv.18は付け易い
$facts$ = fact1: もしもこのぴよぴよLv.18が直り難いということはないとしたらそれは付け易いしかつ覚束無い fact2: 全てのモンスターは付け易い ; $hypothesis$ = あのまくまくLv.51は付け易い ; $proof$ = 
fact2 -> int1: 全てのモンスターは付け易い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__