「もし仮に分派しないならば真っ黒くない一方で撃墜出来る」モンスターはいる
fact1: 「「分派しないならば真っ黒くて撃墜出来る」モンスターはいる」ということは本当だ fact2: もしなんらかのモンスターが分派しないなら真っ黒くなくてそれは撃墜出来る fact3: 「もし仮に落ち難くないならば磨き込む」モンスターはいる
fact2 -> int1: もし仮にあのぽゆぽちゃLv.53が分派するということはないとすれば真っ黒くない一方で撃墜出来る; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「「分派しないならば真っ黒くて撃墜出来る」モンスターはいる」ということは本当だ fact2: もしなんらかのモンスターが分派しないなら真っ黒くなくてそれは撃墜出来る fact3: 「もし仮に落ち難くないならば磨き込む」モンスターはいる ; $hypothesis$ = 「もし仮に分派しないならば真っ黒くない一方で撃墜出来る」モンスターはいる ; $proof$ = 
fact2 -> int1: もし仮にあのぽゆぽちゃLv.53が分派するということはないとすれば真っ黒くない一方で撃墜出来る; int1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __PROVED__