このみいみわLv.20は調査する
fact1: それは呼び起こさなくておまけにそれは図々しくないというモンスターはない fact2: 成り難くてまたそれはほろ苦いということはないというモンスターはない fact3: 成り難くないしその上受け難くないというモンスターはない fact4: もし「なにがしかのモンスターは雄々しくないが調査する」ということは成り立たないとしたら「それは調査しない」ということは本当だ fact5: このみいみわLv.20がほろ苦いならこのみいみわLv.20は調査する fact6: 「このもちゅものLv.19は成り難くないし受け難くない」ということは偽であるならばこのみいみわLv.20はほろ苦い fact7: 「このもちゅものLv.19は受け難くなくてその上それはほろ苦くない」ということは偽だ fact8: もし仮に「このみいみわLv.20は動き回れない」ということは事実なら「あのみよみなLv.68は雄々しくないが調査する」ということは誤りだ
fact3 -> int1: 「このもちゅものLv.19は成り難いということはないししかも受け難くない」ということは事実でない; int1 & fact6 -> int2: このみいみわLv.20はほろ苦い; int2 & fact5 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact6 -> int2: {A}{a}; int2 & fact5 -> hypothesis;
あのみよみなLv.68は成り難い
fact10 -> int3: 「「あのみよみなLv.68は雄々しいということはないがそれは調査する」ということは偽だ」ということは本当ならばそれは調査しない;
$facts$ = fact1: それは呼び起こさなくておまけにそれは図々しくないというモンスターはない fact2: 成り難くてまたそれはほろ苦いということはないというモンスターはない fact3: 成り難くないしその上受け難くないというモンスターはない fact4: もし「なにがしかのモンスターは雄々しくないが調査する」ということは成り立たないとしたら「それは調査しない」ということは本当だ fact5: このみいみわLv.20がほろ苦いならこのみいみわLv.20は調査する fact6: 「このもちゅものLv.19は成り難くないし受け難くない」ということは偽であるならばこのみいみわLv.20はほろ苦い fact7: 「このもちゅものLv.19は受け難くなくてその上それはほろ苦くない」ということは偽だ fact8: もし仮に「このみいみわLv.20は動き回れない」ということは事実なら「あのみよみなLv.68は雄々しくないが調査する」ということは誤りだ ; $hypothesis$ = このみいみわLv.20は調査する ; $proof$ = 
fact3 -> int1: 「このもちゅものLv.19は成り難いということはないししかも受け難くない」ということは事実でない; int1 & fact6 -> int2: このみいみわLv.20はほろ苦い; int2 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact6 -> int2: {A}{a}; int2 & fact5 -> hypothesis; __PROVED__