「もし仮に「犯し難くない」ということは成り立つなら切り難くなくて捕らえ難くない」モンスターはいる
fact1: 「吸収し易いということはないとすると打ち始めないしそれに取り消せる」モンスターはいる fact2: 犯し難いモンスターは切り難くないしその上捕らえ難くない fact3: 犯し難くないモンスターは切り難いということはないしまた捕らえ難くない fact4: 切り難くないモンスターは再嫁しないし調節し易くない
fact3 -> int1: もしもこのもなもいLv.39が犯し難くないとしたらこのもなもいLv.39は切り難くないモンスターでその上捕らえ難くない; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
もしこのもなもいLv.39が切り難くないとすればこのもなもいLv.39は再嫁しなくて更に調節し易くない
fact5 -> hypothesis;
$facts$ = fact1: 「吸収し易いということはないとすると打ち始めないしそれに取り消せる」モンスターはいる fact2: 犯し難いモンスターは切り難くないしその上捕らえ難くない fact3: 犯し難くないモンスターは切り難いということはないしまた捕らえ難くない fact4: 切り難くないモンスターは再嫁しないし調節し易くない ; $hypothesis$ = 「もし仮に「犯し難くない」ということは成り立つなら切り難くなくて捕らえ難くない」モンスターはいる ; $proof$ = 
fact3 -> int1: もしもこのもなもいLv.39が犯し難くないとしたらこのもなもいLv.39は切り難くないモンスターでその上捕らえ難くない; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__