このみえみねLv.15は仲間らしくない
fact1: このみえみねLv.15は心深し fact2: このみえみねLv.15は寂しい fact3: あのみにゃみやLv.47はそつ無いかもしくは掘り起こす fact4: あのぴにゃぴなLv.64は怖いかもしくはそれは許し難いかあるいはどちらもである fact5: このみえみねLv.15は掘り起こすかまたは心深し fact6: あのみにゃみやLv.47は掘り起こせば「このみえみねLv.15は集め易い」ということは真実だ fact7: もしもあのみにゃみやLv.47がそつ無いとするとこのみえみねLv.15は集め易い
fact3 & fact7 & fact6 -> int1: このみえみねLv.15は集め易い; int1 & fact1 -> int2: このみえみねLv.15は集め易くてまたそれは心深し;
fact3 & fact7 & fact6 -> int1: {C}{c}; int1 & fact1 -> int2: ({C}{c} & {D}{c});
$facts$ = fact1: このみえみねLv.15は心深し fact2: このみえみねLv.15は寂しい fact3: あのみにゃみやLv.47はそつ無いかもしくは掘り起こす fact4: あのぴにゃぴなLv.64は怖いかもしくはそれは許し難いかあるいはどちらもである fact5: このみえみねLv.15は掘り起こすかまたは心深し fact6: あのみにゃみやLv.47は掘り起こせば「このみえみねLv.15は集め易い」ということは真実だ fact7: もしもあのみにゃみやLv.47がそつ無いとするとこのみえみねLv.15は集め易い ; $hypothesis$ = このみえみねLv.15は仲間らしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__