あのぽよぽいLv.46は有り難し
fact1: タイトルらしいモンスターは美しくない fact2: 「あらゆるモンスターは有り難し」ということは確かである fact3: 「このみえみわLv.29はタイトルらしいが真っ白くない」ということは成り立つということはないとするとこのぷちゃぷなLv.20は真っ白くない fact4: 真っ白くないモンスターは有り難ししその上美しい
fact2 -> int1: 「あらゆるモンスターは有り難し」ということは確かである; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのぽよぽいLv.46は有り難しない
fact6 -> int2: このぷちゃぷなLv.20が真っ白くないとすると有り難しし加えて美しい;
$facts$ = fact1: タイトルらしいモンスターは美しくない fact2: 「あらゆるモンスターは有り難し」ということは確かである fact3: 「このみえみわLv.29はタイトルらしいが真っ白くない」ということは成り立つということはないとするとこのぷちゃぷなLv.20は真っ白くない fact4: 真っ白くないモンスターは有り難ししその上美しい ; $hypothesis$ = あのぽよぽいLv.46は有り難し ; $proof$ = 
fact2 -> int1: 「あらゆるモンスターは有り難し」ということは確かである; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__