そのみにみにょLv.83はしがなくない
fact1: もし仮にそのみにみにょLv.83が真っ黒いとすればそのみにみにょLv.83はしがない fact2: そのみにみにょLv.83が狂奔するし加えてしがないとしたらこのみちょみなLv.66はしがないということはない fact3: あのみえみわLv.32は摂取出来ない fact4: そのみにみにょLv.83が底深いならばそのみにみにょLv.83は真っ黒い fact5: そのみにみにょLv.83は底深い fact6: もしもあのみえみわLv.32が摂取出来るということはないなら狂奔するけど行き合うということはない
fact4 & fact5 -> int1: そのみにみにょLv.83は真っ黒い; int1 & fact1 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
このみちょみなLv.66は真っ黒い
fact8 & fact9 -> int2: あのみえみわLv.32は狂奔するけど行き合わない; int2 -> int3: あのみえみわLv.32は狂奔する; int3 -> int4: とあるモンスターは狂奔する;
$facts$ = fact1: もし仮にそのみにみにょLv.83が真っ黒いとすればそのみにみにょLv.83はしがない fact2: そのみにみにょLv.83が狂奔するし加えてしがないとしたらこのみちょみなLv.66はしがないということはない fact3: あのみえみわLv.32は摂取出来ない fact4: そのみにみにょLv.83が底深いならばそのみにみにょLv.83は真っ黒い fact5: そのみにみにょLv.83は底深い fact6: もしもあのみえみわLv.32が摂取出来るということはないなら狂奔するけど行き合うということはない ; $hypothesis$ = そのみにみにょLv.83はしがなくない ; $proof$ = 
fact4 & fact5 -> int1: そのみにみにょLv.83は真っ黒い; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__