あのもやもにゅLv.66は消化し易くない
fact1: あのまちゅまちゃLv.5は際限無いしまたそれは攻め入る fact2: もし仮にあのまちゅまちゃLv.5が際限無いしそれが攻め入るならあのまちゅまちゃLv.5は多しない fact3: もし仮に「あのまちゅまちゃLv.5は消化し易くないしまた多しない」ということは誤っているとすればあのもやもにゅLv.66は消化し易くない fact4: 仮にそのみやみえLv.59が出回るとするとあのもやもにゅLv.66は消化し易い fact5: もしあのまちゅまちゃLv.5が多しということはないとすればそのみやみえLv.59は出回る
fact2 & fact1 -> int1: あのまちゅまちゃLv.5は多しない; int1 & fact5 -> int2: そのみやみえLv.59は出回る; int2 & fact4 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: {A}{b}; int2 & fact4 -> hypothesis;
あのもやもにゅLv.66は消化し易くない
$facts$ = fact1: あのまちゅまちゃLv.5は際限無いしまたそれは攻め入る fact2: もし仮にあのまちゅまちゃLv.5が際限無いしそれが攻め入るならあのまちゅまちゃLv.5は多しない fact3: もし仮に「あのまちゅまちゃLv.5は消化し易くないしまた多しない」ということは誤っているとすればあのもやもにゅLv.66は消化し易くない fact4: 仮にそのみやみえLv.59が出回るとするとあのもやもにゅLv.66は消化し易い fact5: もしあのまちゅまちゃLv.5が多しということはないとすればそのみやみえLv.59は出回る ; $hypothesis$ = あのもやもにゅLv.66は消化し易くない ; $proof$ = 
fact2 & fact1 -> int1: あのまちゅまちゃLv.5は多しない; int1 & fact5 -> int2: そのみやみえLv.59は出回る; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: {A}{b}; int2 & fact4 -> hypothesis; __DISPROVED__