そのみえみよLv.0は潔しということはない
fact1: もしもそのみえみよLv.0は潔しとすると「そのみえみよLv.0は寒い」ということは本当だ fact2: もしもそのまちょまにゃLv.15が潔しとすると陰気臭い fact3: このみねみいLv.28は寒い fact4: そのみえみよLv.0は若々しくない fact5: そのみえみよLv.0は御恥ずかしくない fact6: このぷのぷよLv.45は頼り無くない
void -> assump1: 以下のように仮定する。そのみえみよLv.0は潔し; fact1 & assump1 -> int1: 「そのみえみよLv.0は寒い」ということは真実である;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a};
以下のように仮定する。そのみえみよLv.0は潔し
fact7 -> int2: 「頼り無くない」モンスターはいる;
$facts$ = fact1: もしもそのみえみよLv.0は潔しとすると「そのみえみよLv.0は寒い」ということは本当だ fact2: もしもそのまちょまにゃLv.15が潔しとすると陰気臭い fact3: このみねみいLv.28は寒い fact4: そのみえみよLv.0は若々しくない fact5: そのみえみよLv.0は御恥ずかしくない fact6: このぷのぷよLv.45は頼り無くない ; $hypothesis$ = そのみえみよLv.0は潔しということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__