あのぽにゅぽわLv.52は看過し難くない
fact1: もし仮になにがしかのモンスターが卑下しないとしたらそれはみっともなくないかまたはそれは置き易い fact2: 「もしもあのぷちゃぷちゅLv.33がみっともないということはないかもしくは置き易いとするとあのぽにゅぽわLv.52は看過し難い」ということは正しい fact3: もしも「あのぷちゃぷちゅLv.33は置き易い」ということは正しいならあのぽにゅぽわLv.52は看過し難い fact4: あのぷちゃぷちゅLv.33は卑下するということはない fact5: そのぷえぷちゅLv.79は置き易い
fact1 -> int1: あのぷちゃぷちゅLv.33は卑下しないとすれば「あのぷちゃぷちゅLv.33はみっともなくないかまたは置き易いかまたは両方ともだ」ということは間違いでない; int1 & fact4 -> int2: あのぷちゃぷちゅLv.33はみっともなくないかあるいはそれは置き易い; int2 & fact2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact2 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのモンスターが卑下しないとしたらそれはみっともなくないかまたはそれは置き易い fact2: 「もしもあのぷちゃぷちゅLv.33がみっともないということはないかもしくは置き易いとするとあのぽにゅぽわLv.52は看過し難い」ということは正しい fact3: もしも「あのぷちゃぷちゅLv.33は置き易い」ということは正しいならあのぽにゅぽわLv.52は看過し難い fact4: あのぷちゃぷちゅLv.33は卑下するということはない fact5: そのぷえぷちゅLv.79は置き易い ; $hypothesis$ = あのぽにゅぽわLv.52は看過し難くない ; $proof$ = 
fact1 -> int1: あのぷちゃぷちゅLv.33は卑下しないとすれば「あのぷちゃぷちゅLv.33はみっともなくないかまたは置き易いかまたは両方ともだ」ということは間違いでない; int1 & fact4 -> int2: あのぷちゃぷちゅLv.33はみっともなくないかあるいはそれは置き易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact2 -> hypothesis; __DISPROVED__