「そのみにみちゅLv.71は覚束無いし自給自足する」ということは成り立つということはない
fact1: 仮にあのまわまゆLv.97が入り辛いならそのみにみちゅLv.71は覚束無い fact2: もし仮にあのまわまゆLv.97が馴染み難いならそのみにみちゅLv.71は覚束無い fact3: そのみにみちゅLv.71は自給自足する fact4: あらゆるモンスターは入り辛いかそれは馴染み難いか両方である
fact4 -> int1: あのまわまゆLv.97は入り辛いかあるいはそれは馴染み難い; int1 & fact1 & fact2 -> int2: そのみにみちゅLv.71は覚束無い; int2 & fact3 -> hypothesis;
fact4 -> int1: ({A}{aa} v {B}{aa}); int1 & fact1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にあのまわまゆLv.97が入り辛いならそのみにみちゅLv.71は覚束無い fact2: もし仮にあのまわまゆLv.97が馴染み難いならそのみにみちゅLv.71は覚束無い fact3: そのみにみちゅLv.71は自給自足する fact4: あらゆるモンスターは入り辛いかそれは馴染み難いか両方である ; $hypothesis$ = 「そのみにみちゅLv.71は覚束無いし自給自足する」ということは成り立つということはない ; $proof$ = 
fact4 -> int1: あのまわまゆLv.97は入り辛いかあるいはそれは馴染み難い; int1 & fact1 & fact2 -> int2: そのみにみちゅLv.71は覚束無い; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A}{aa} v {B}{aa}); int1 & fact1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__