「あのまやまやLv.11は違いということはないかまたは御安くない」ということは誤りだ
fact1: 「このみいみなLv.76は御安い」ということは成り立つ fact2: あのまやまやLv.11が御安いならこのみいみなLv.76は捕らわれ易い
void -> assump1: 以下のように仮定する。あのまやまやLv.11は御安い; fact2 & assump1 -> int1: このみいみなLv.76は捕らわれ易い;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b};
$facts$ = fact1: 「このみいみなLv.76は御安い」ということは成り立つ fact2: あのまやまやLv.11が御安いならこのみいみなLv.76は捕らわれ易い ; $hypothesis$ = 「あのまやまやLv.11は違いということはないかまたは御安くない」ということは誤りだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__