「「もしも悔しいならば「忝いし凛々しいということはない」ということは間違っている」モンスターはいる」ということは誤っている
fact1: もしも「何らかのモンスターは悔しい」ということは成り立つとすると「それは忝いししかも凛々しくない」ということは成り立たない
fact1 -> int1: もしもこのまやまやLv.31は悔しいとしたら「このまやまやLv.31は忝いけれど凛々しくない」ということは成り立たない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしも「何らかのモンスターは悔しい」ということは成り立つとすると「それは忝いししかも凛々しくない」ということは成り立たない ; $hypothesis$ = 「「もしも悔しいならば「忝いし凛々しいということはない」ということは間違っている」モンスターはいる」ということは誤っている ; $proof$ = 
fact1 -> int1: もしもこのまやまやLv.31は悔しいとしたら「このまやまやLv.31は忝いけれど凛々しくない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__