このみやみやLv.95は情け深くない
fact1: 「このみやみやLv.95は重宝がる」ということは事実だ fact2: このみやみやLv.95は御労しい fact3: 「このみやみやLv.95は掃除し易い」ということは成り立つ
void -> assump1: 以下のように仮定する。このみやみやLv.95は情け深い; fact3 & assump1 -> int1: このみやみやLv.95は掃除し易くて情け深い;
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a});
$facts$ = fact1: 「このみやみやLv.95は重宝がる」ということは事実だ fact2: このみやみやLv.95は御労しい fact3: 「このみやみやLv.95は掃除し易い」ということは成り立つ ; $hypothesis$ = このみやみやLv.95は情け深くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__