「あのみゆみにゃLv.63は燃やせないかそれは混同し易くない」ということは偽である
fact1: あのみゆみにゃLv.63は御見舞いしない fact2: もし仮になんらかのモンスターが御見舞いしないとすればそれは燃やせる fact3: もし仮になにがしかのモンスターは燃やせないとすると「それは寒ーくないかもしくは気高くない」ということは成り立たない fact4: もし何らかのモンスターは御見舞いしないならば「それは燃やせないかまたは混同し易いということはないかもしくは両方である」ということは偽だ
fact4 -> int1: 仮にあのみゆみにゃLv.63は御見舞いしないなら「燃やせるということはないかもしくはそれは混同し易くないかもしくは両方である」ということは事実と異なる; int1 & fact1 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> hypothesis;
仮にこのぴちゃぴやLv.76は燃やせないならば「このぴちゃぴやLv.76は寒ーくないかもしくはそれは気高くないか両方だ」ということは成り立たない
fact5 -> hypothesis;
$facts$ = fact1: あのみゆみにゃLv.63は御見舞いしない fact2: もし仮になんらかのモンスターが御見舞いしないとすればそれは燃やせる fact3: もし仮になにがしかのモンスターは燃やせないとすると「それは寒ーくないかもしくは気高くない」ということは成り立たない fact4: もし何らかのモンスターは御見舞いしないならば「それは燃やせないかまたは混同し易いということはないかもしくは両方である」ということは偽だ ; $hypothesis$ = 「あのみゆみにゃLv.63は燃やせないかそれは混同し易くない」ということは偽である ; $proof$ = 
fact4 -> int1: 仮にあのみゆみにゃLv.63は御見舞いしないなら「燃やせるということはないかもしくはそれは混同し易くないかもしくは両方である」ということは事実と異なる; int1 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> hypothesis; __PROVED__