「骨っぽくないとすれば「片付け為さるしかつ酸化し難くない」ということは偽である」モンスターはいる
fact1: もし仮にとあるモンスターは骨っぽくないとすると「片付け為さるしそれは酸化し難くない」ということは成り立たない fact2: もし仮に何らかのモンスターは骨っぽくないとしたら「片付け為さるし加えてそれは酸化し難い」ということは誤っている fact3: もしも「あるモンスターはキルティングしない」ということは成り立つとしたらそれは継続し難いしまた悪戯っぽくない
fact1 -> int1: 仮に「そのぴよぴやLv.43は骨っぽくない」ということは誤っていないとすれば「それは片付け為さるけど酸化し難くない」ということは成り立たない; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もし仮にとあるモンスターは骨っぽくないとすると「片付け為さるしそれは酸化し難くない」ということは成り立たない fact2: もし仮に何らかのモンスターは骨っぽくないとしたら「片付け為さるし加えてそれは酸化し難い」ということは誤っている fact3: もしも「あるモンスターはキルティングしない」ということは成り立つとしたらそれは継続し難いしまた悪戯っぽくない ; $hypothesis$ = 「骨っぽくないとすれば「片付け為さるしかつ酸化し難くない」ということは偽である」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮に「そのぴよぴやLv.43は骨っぽくない」ということは誤っていないとすれば「それは片付け為さるけど酸化し難くない」ということは成り立たない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__