そのもねもちゅLv.7は意味深くない
fact1: もしこのみにみのLv.70が泊まり込むなら限り無し fact2: もし仮にこのみにみのLv.70が意味深いが泊まり込まないならそのもねもちゅLv.7は意味深くない fact3: このみにみのLv.70は入り易い fact4: このみにみのLv.70が入り易いならば泊まり込む
fact4 & fact3 -> int1: このみにみのLv.70は泊まり込む; int1 & fact1 -> int2: このみにみのLv.70は限り無し;
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a};
そのもねもちゅLv.7は意味深くない
$facts$ = fact1: もしこのみにみのLv.70が泊まり込むなら限り無し fact2: もし仮にこのみにみのLv.70が意味深いが泊まり込まないならそのもねもちゅLv.7は意味深くない fact3: このみにみのLv.70は入り易い fact4: このみにみのLv.70が入り易いならば泊まり込む ; $hypothesis$ = そのもねもちゅLv.7は意味深くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__