このぴゆぴくLv.53はやくざっぽくない
fact1: 「あのまなまにゅLv.52はビルトインしないかもしくは具体化する」ということは成り立つということはない fact2: そのみくみちゅLv.40はやくざっぽい fact3: もし「あのまなまにゅLv.52はビルトインするということはないかあるいは実るかもしくは両方である」ということは成り立たないとするとそのみくみちゅLv.40は具体化しない fact4: 「あのまなまにゅLv.52は消化し易い」ということは真実だ fact5: もしあのまなまにゅLv.52がビルトインするということはないか実るとするとこのぴゆぴくLv.53はやくざっぽい fact6: 「そのぽやぽわLv.80は実る」ということは偽でない fact7: あのまなまにゅLv.52が実らないかもしくはやくざっぽいかもしくは両方ともならこのぴゆぴくLv.53はビルトインする fact8: そのみくみちゅLv.40は具体化する
void -> assump1: 以下のように仮定する。「あのまなまにゅLv.52はビルトインしないかまたは実るか両方だ」ということは事実と異なる; fact3 & assump1 -> int1: そのみくみちゅLv.40は具体化しない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまなまにゅLv.52はビルトインしないかもしくは実るかどちらもだ; int3 & fact5 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} v {AB}{a}); fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact8 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} v {AB}{a}); int3 & fact5 -> hypothesis;
$facts$ = fact1: 「あのまなまにゅLv.52はビルトインしないかもしくは具体化する」ということは成り立つということはない fact2: そのみくみちゅLv.40はやくざっぽい fact3: もし「あのまなまにゅLv.52はビルトインするということはないかあるいは実るかもしくは両方である」ということは成り立たないとするとそのみくみちゅLv.40は具体化しない fact4: 「あのまなまにゅLv.52は消化し易い」ということは真実だ fact5: もしあのまなまにゅLv.52がビルトインするということはないか実るとするとこのぴゆぴくLv.53はやくざっぽい fact6: 「そのぽやぽわLv.80は実る」ということは偽でない fact7: あのまなまにゅLv.52が実らないかもしくはやくざっぽいかもしくは両方ともならこのぴゆぴくLv.53はビルトインする fact8: そのみくみちゅLv.40は具体化する ; $hypothesis$ = このぴゆぴくLv.53はやくざっぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのまなまにゅLv.52はビルトインしないかまたは実るか両方だ」ということは事実と異なる; fact3 & assump1 -> int1: そのみくみちゅLv.40は具体化しない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまなまにゅLv.52はビルトインしないかもしくは実るかどちらもだ; int3 & fact5 -> hypothesis; __DISPROVED__
void -> assump1: ¬(¬{AA}{a} v {AB}{a}); fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact8 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} v {AB}{a}); int3 & fact5 -> hypothesis; __DISPROVED__