「もし柔くないとしたら図々しくないかもしくは成り易くない」モンスターはいる
fact1: 柔くないモンスターは図々しくないかもしくは成り易くないかまたは両方である fact2: 「もし「幼くない」ということは事実であるとしたら撮み出さないかまたは覚え易いかまたは両方な」モンスターはいる
fact1 -> int1: もしこのぴやぴのLv.20が柔くないとすると図々しくないかあるいは成り易くないかあるいはどちらもである; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 柔くないモンスターは図々しくないかもしくは成り易くないかまたは両方である fact2: 「もし「幼くない」ということは事実であるとしたら撮み出さないかまたは覚え易いかまたは両方な」モンスターはいる ; $hypothesis$ = 「もし柔くないとしたら図々しくないかもしくは成り易くない」モンスターはいる ; $proof$ = 
fact1 -> int1: もしこのぴやぴのLv.20が柔くないとすると図々しくないかあるいは成り易くないかあるいはどちらもである; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis; __PROVED__