あのみゆみなLv.61は害する
fact1: 「もし仮に「とあるモンスターは軟らかくないかまたはそれはうら若しかまたは両方だ」ということは成り立たないとすれば移り易い」ということは正しい fact2: 仮にあのみゆみなLv.61が移り易いならあのみゆみなLv.61は害する fact3: それは軟らかくないかあるいはそれはうら若しというモンスターはない
fact3 -> int1: 「あのみゆみなLv.61は軟らかくないかあるいはそれはうら若しかあるいは両方だ」ということは誤っている; fact1 -> int2: もしも「あのみゆみなLv.61は軟らかくないかうら若しか両方である」ということは事実でないとするとあのみゆみなLv.61は移り易い; int1 & int2 -> int3: あのみゆみなLv.61は移り易い; int3 & fact2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); fact1 -> int2: ¬(¬{AA}{aa} v {AB}{aa}) -> {A}{aa}; int1 & int2 -> int3: {A}{aa}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 「もし仮に「とあるモンスターは軟らかくないかまたはそれはうら若しかまたは両方だ」ということは成り立たないとすれば移り易い」ということは正しい fact2: 仮にあのみゆみなLv.61が移り易いならあのみゆみなLv.61は害する fact3: それは軟らかくないかあるいはそれはうら若しというモンスターはない ; $hypothesis$ = あのみゆみなLv.61は害する ; $proof$ = 
fact3 -> int1: 「あのみゆみなLv.61は軟らかくないかあるいはそれはうら若しかあるいは両方だ」ということは誤っている; fact1 -> int2: もしも「あのみゆみなLv.61は軟らかくないかうら若しか両方である」ということは事実でないとするとあのみゆみなLv.61は移り易い; int1 & int2 -> int3: あのみゆみなLv.61は移り易い; int3 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); fact1 -> int2: ¬(¬{AA}{aa} v {AB}{aa}) -> {A}{aa}; int1 & int2 -> int3: {A}{aa}; int3 & fact2 -> hypothesis; __PROVED__