そのみちゃみのLv.16は生き難くない
fact1: そのみちゃみのLv.16が早期発見出来るとするとそのみちゃみのLv.16は少なし fact2: このみくみにゃLv.75は馬鹿馬鹿しい fact3: 仮にそのみちゃみのLv.16が少なしならそのみちゃみのLv.16は生き難い fact4: もしもそのみちゃみのLv.16が来合わせるとするとそれは早期発見出来る fact5: もし仮にそのみちゃみのLv.16が幼過ぎればそのみちゃみのLv.16は来合わせる fact6: もし仮にこのみくみにゃLv.75が馬鹿馬鹿しいとするとそのみちゃみのLv.16は幼過ぎる fact7: 馬鹿馬鹿しいモンスターが幼過ぎないとするとそれは生き難くない
fact6 & fact2 -> int1: そのみちゃみのLv.16は幼過ぎる; int1 & fact5 -> int2: そのみちゃみのLv.16は来合わせる; int2 & fact4 -> int3: そのみちゃみのLv.16は早期発見出来る; int3 & fact1 -> int4: そのみちゃみのLv.16は少なし; int4 & fact3 -> hypothesis;
fact6 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{b}; int4 & fact3 -> hypothesis;
そのみちゃみのLv.16は生き難くない
fact8 -> int5: もしもそのみちゃみのLv.16が馬鹿馬鹿しいけどそれが幼過ぎるということはないとするとそのみちゃみのLv.16は生き難くない;
$facts$ = fact1: そのみちゃみのLv.16が早期発見出来るとするとそのみちゃみのLv.16は少なし fact2: このみくみにゃLv.75は馬鹿馬鹿しい fact3: 仮にそのみちゃみのLv.16が少なしならそのみちゃみのLv.16は生き難い fact4: もしもそのみちゃみのLv.16が来合わせるとするとそれは早期発見出来る fact5: もし仮にそのみちゃみのLv.16が幼過ぎればそのみちゃみのLv.16は来合わせる fact6: もし仮にこのみくみにゃLv.75が馬鹿馬鹿しいとするとそのみちゃみのLv.16は幼過ぎる fact7: 馬鹿馬鹿しいモンスターが幼過ぎないとするとそれは生き難くない ; $hypothesis$ = そのみちゃみのLv.16は生き難くない ; $proof$ = 
fact6 & fact2 -> int1: そのみちゃみのLv.16は幼過ぎる; int1 & fact5 -> int2: そのみちゃみのLv.16は来合わせる; int2 & fact4 -> int3: そのみちゃみのLv.16は早期発見出来る; int3 & fact1 -> int4: そのみちゃみのLv.16は少なし; int4 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{b}; int4 & fact3 -> hypothesis; __DISPROVED__