「「仮に「やんごとなくないけれど気違い染みる」ということは間違っているとしたら心許なくない」モンスターはいる」ということは成り立つ
fact1: 「「やんごとなくなくておまけに気違い染みる」ということは事実でないとすると心許ない」モンスターはいる fact2: 仮に「なんらかのモンスターはやんごとないということはないけど気違い染みる」ということは誤っているとすれば心許ない fact3: 「あるモンスターはやんごとないしそれは気違い染みる」ということは成り立たないとすると心許なくない fact4: もし「とあるモンスターはやんごとなくないけど気違い染みる」ということは間違いであるとすれば心許なくない fact5: もし仮に「そのみなみよLv.97は触知しない」ということは成り立てば「そのみなみよLv.97は御し易くない」ということは本当である
fact4 -> int1: もし「このぷねぷのLv.55はやんごとなくないけれどそれは気違い染みる」ということは偽であるとすると「心許なくない」ということは本当だ; int1 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「「やんごとなくなくておまけに気違い染みる」ということは事実でないとすると心許ない」モンスターはいる fact2: 仮に「なんらかのモンスターはやんごとないということはないけど気違い染みる」ということは誤っているとすれば心許ない fact3: 「あるモンスターはやんごとないしそれは気違い染みる」ということは成り立たないとすると心許なくない fact4: もし「とあるモンスターはやんごとなくないけど気違い染みる」ということは間違いであるとすれば心許なくない fact5: もし仮に「そのみなみよLv.97は触知しない」ということは成り立てば「そのみなみよLv.97は御し易くない」ということは本当である ; $hypothesis$ = 「「仮に「やんごとなくないけれど気違い染みる」ということは間違っているとしたら心許なくない」モンスターはいる」ということは成り立つ ; $proof$ = 
fact4 -> int1: もし「このぷねぷのLv.55はやんごとなくないけれどそれは気違い染みる」ということは偽であるとすると「心許なくない」ということは本当だ; int1 -> hypothesis; __PROVED__
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__