あのみにょみやLv.88は束ねない
fact1: 仮に何らかのモンスターが狭しないならばそれは直り切るし束ねる fact2: もしなんらかのモンスターが束ねないかあるいは狭しとすればそれは束ねるということはない fact3: あのみにょみやLv.88は痩せ難い fact4: すべてのモンスターは分明する fact5: あらゆるモンスターは束ねる
fact5 -> int1: あらゆるモンスターは束ねる; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは直り切る
fact6 -> int2: あのぽにぽゆLv.26が狭しないとするとあのぽにぽゆLv.26は直り切るし束ねる;
$facts$ = fact1: 仮に何らかのモンスターが狭しないならばそれは直り切るし束ねる fact2: もしなんらかのモンスターが束ねないかあるいは狭しとすればそれは束ねるということはない fact3: あのみにょみやLv.88は痩せ難い fact4: すべてのモンスターは分明する fact5: あらゆるモンスターは束ねる ; $hypothesis$ = あのみにょみやLv.88は束ねない ; $proof$ = 
fact5 -> int1: あらゆるモンスターは束ねる; int1 -> hypothesis; __DISPROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__