「もしも湿っぽいとしたら「疚しいということはないか古しないかあるいは両方である」ということは成り立たない」モンスターはいる
fact1: 「もしもこのみにゅみちゃLv.27は湿っぽいならば「このみにゅみちゃLv.27は疚しくないかまたは古しか両方ともだ」ということは間違いである」ということは事実だ fact2: もしもこのみにゅみちゃLv.27が湿っぽいならば疚しくないかもしくは古しない fact3: 仮に何らかのモンスターは湿っぽいとすると「それは疚しくないかまたは古しないかまたはどちらもである」ということは成り立たない fact4: 「仮に湿っぽいならば「疚しいということはないかもしくは古し」ということは確かでない」モンスターはいる
fact3 -> int1: もしもこのみにゅみちゃLv.27は湿っぽいならば「疚しくないかまたは古しないかあるいは両方である」ということは成り立たない; int1 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もしもこのみにゅみちゃLv.27は湿っぽいならば「このみにゅみちゃLv.27は疚しくないかまたは古しか両方ともだ」ということは間違いである」ということは事実だ fact2: もしもこのみにゅみちゃLv.27が湿っぽいならば疚しくないかもしくは古しない fact3: 仮に何らかのモンスターは湿っぽいとすると「それは疚しくないかまたは古しないかまたはどちらもである」ということは成り立たない fact4: 「仮に湿っぽいならば「疚しいということはないかもしくは古し」ということは確かでない」モンスターはいる ; $hypothesis$ = 「もしも湿っぽいとしたら「疚しいということはないか古しないかあるいは両方である」ということは成り立たない」モンスターはいる ; $proof$ = 
fact3 -> int1: もしもこのみにゅみちゃLv.27は湿っぽいならば「疚しくないかまたは古しないかあるいは両方である」ということは成り立たない; int1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis; __PROVED__