そのみにゅみなLv.61は狭苦しいしおまけに目指せる
fact1: そのみにゅみなLv.61は目指せる fact2: もしなんらかのモンスターが街らしいなら吊り易いが眠くない fact3: もし何らかのモンスターは眠くないとすれば「狭苦しくてそれに目指せる」ということは間違っている fact4: そのみにゅみなLv.61は狭苦しい fact5: そのもにゃもにゃLv.66は狭苦しい fact6: もしもあのもいもわLv.49が吊り易いけれど眠いということはないとしたらそのみにゅみなLv.61は眠くない
fact4 -> int1: そのみにゅみなLv.61は狭苦しい; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
「そのみにゅみなLv.61は狭苦しくてまた目指せる」ということは誤っている
fact9 -> int2: 「仮にそのみにゅみなLv.61は眠くないとすると「そのみにゅみなLv.61は狭苦しいしその上目指せる」ということは正しくない」ということは確かである; fact8 -> int3: もしもあのもいもわLv.49が街らしいとしたら吊り易くて眠いということはない;
$facts$ = fact1: そのみにゅみなLv.61は目指せる fact2: もしなんらかのモンスターが街らしいなら吊り易いが眠くない fact3: もし何らかのモンスターは眠くないとすれば「狭苦しくてそれに目指せる」ということは間違っている fact4: そのみにゅみなLv.61は狭苦しい fact5: そのもにゃもにゃLv.66は狭苦しい fact6: もしもあのもいもわLv.49が吊り易いけれど眠いということはないとしたらそのみにゅみなLv.61は眠くない ; $hypothesis$ = そのみにゅみなLv.61は狭苦しいしおまけに目指せる ; $proof$ = 
fact4 -> int1: そのみにゅみなLv.61は狭苦しい; int1 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__