このぷにゃぷちゅLv.70は滞り易いということはない
fact1: もし仮になにがしかのモンスターは滞り易いならば「間違い無くないかまたはそれは色っぽくない」ということは偽だ fact2: このぷにゃぷちゅLv.70は間違い無くないかもしくは色っぽくないかあるいはどちらもである
fact1 -> int1: もしもこのぷにゃぷちゅLv.70は滞り易いならば「このぷにゃぷちゅLv.70は間違い無くないか色っぽいということはない」ということは嘘である; void -> assump1: 以下のように仮定する。このぷにゃぷちゅLv.70は滞り易い; int1 & assump1 -> int2: 「このぷにゃぷちゅLv.70は間違い無くないか色っぽくないか両方ともだ」ということは間違いである; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのモンスターは滞り易いならば「間違い無くないかまたはそれは色っぽくない」ということは偽だ fact2: このぷにゃぷちゅLv.70は間違い無くないかもしくは色っぽくないかあるいはどちらもである ; $hypothesis$ = このぷにゃぷちゅLv.70は滞り易いということはない ; $proof$ = 
fact1 -> int1: もしもこのぷにゃぷちゅLv.70は滞り易いならば「このぷにゃぷちゅLv.70は間違い無くないか色っぽいということはない」ということは嘘である; void -> assump1: 以下のように仮定する。このぷにゃぷちゅLv.70は滞り易い; int1 & assump1 -> int2: 「このぷにゃぷちゅLv.70は間違い無くないか色っぽくないか両方ともだ」ということは間違いである; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__