そのまのまにゃLv.13は動き易いかまたは左折するということはないかまたは両方ともである
fact1: もし仮にこのみなみねLv.38が左折しないとすればそのまのまにゃLv.13は動き易いかもしくはそれは左折するということはないかまたはどちらもだ fact2: 言い訳がましいし見易いというモンスターはない fact3: 動き易くないモンスターは左折するしまた広ーい fact4: もし「このみなみねLv.38は言い訳がましいしかつ見易い」ということは間違いだとすれば「このみなみねLv.38は左折するということはない」ということは真実である
fact2 -> int1: 「このみなみねLv.38は言い訳がましいし見易い」ということは事実と異なる; int1 & fact4 -> int2: このみなみねLv.38は左折するということはない; int2 & fact1 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬{A}{aa}; int2 & fact1 -> hypothesis;
このみなみねLv.38は広ーいかもしくは書き立てない
fact5 -> int3: もしこのみなみねLv.38が動き易くないとしたらこのみなみねLv.38は左折するしそれに広ーい;
$facts$ = fact1: もし仮にこのみなみねLv.38が左折しないとすればそのまのまにゃLv.13は動き易いかもしくはそれは左折するということはないかまたはどちらもだ fact2: 言い訳がましいし見易いというモンスターはない fact3: 動き易くないモンスターは左折するしまた広ーい fact4: もし「このみなみねLv.38は言い訳がましいしかつ見易い」ということは間違いだとすれば「このみなみねLv.38は左折するということはない」ということは真実である ; $hypothesis$ = そのまのまにゃLv.13は動き易いかまたは左折するということはないかまたは両方ともである ; $proof$ = 
fact2 -> int1: 「このみなみねLv.38は言い訳がましいし見易い」ということは事実と異なる; int1 & fact4 -> int2: このみなみねLv.38は左折するということはない; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬{A}{aa}; int2 & fact1 -> hypothesis; __PROVED__