「仮に「慎み深い」ということは確かならば「なあくないし予測し難くない」ということは成り立たない」モンスターはいる
fact1: 「慎み深いならば「なあくないけれど予測し難い」ということは間違っている」モンスターはいる fact2: もし仮にあるモンスターは慎み深いとすれば「それはなあくないし予測し難くない」ということは間違いだ
fact2 -> int1: 仮にあのまやまにょLv.70は慎み深いとすると「あのまやまにょLv.70はなあくないししかも予測し難くない」ということは成り立つということはない; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「慎み深いならば「なあくないけれど予測し難い」ということは間違っている」モンスターはいる fact2: もし仮にあるモンスターは慎み深いとすれば「それはなあくないし予測し難くない」ということは間違いだ ; $hypothesis$ = 「仮に「慎み深い」ということは確かならば「なあくないし予測し難くない」ということは成り立たない」モンスターはいる ; $proof$ = 
fact2 -> int1: 仮にあのまやまにょLv.70は慎み深いとすると「あのまやまにょLv.70はなあくないししかも予測し難くない」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__