あのぴゆぴくLv.63は店仕舞いする
fact1: あらゆるモンスターは店仕舞いする fact2: 危うしモンスターは相応しい fact3: もしもなにがしかのモンスターが相応しくないとするとそれは無駄遣いするけど店仕舞いしない fact4: 相応しいモンスターは無駄遣いする fact5: あのぴゆぴくLv.63が無駄遣いするとしたらそのぽゆぽちゃLv.62は店仕舞いする
fact1 -> int1: あらゆるモンスターは店仕舞いする; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
そのぽゆぽちゃLv.62は店仕舞いする
fact8 -> int2: もし仮にあのぴゆぴくLv.63が相応しいとしたらあのぴゆぴくLv.63は無駄遣いする; fact7 -> int3: 仮にあのぴゆぴくLv.63が危うしとすればそれは相応しい;
$facts$ = fact1: あらゆるモンスターは店仕舞いする fact2: 危うしモンスターは相応しい fact3: もしもなにがしかのモンスターが相応しくないとするとそれは無駄遣いするけど店仕舞いしない fact4: 相応しいモンスターは無駄遣いする fact5: あのぴゆぴくLv.63が無駄遣いするとしたらそのぽゆぽちゃLv.62は店仕舞いする ; $hypothesis$ = あのぴゆぴくLv.63は店仕舞いする ; $proof$ = 
fact1 -> int1: あらゆるモンスターは店仕舞いする; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__