みやみちゅLv.17事件は起こらない
fact1: みやみちゅLv.17事件かあるいはぴよぴちゃLv.56事件は「尊しということは起こらない」ということをもたらす fact2: 「尊しということが起こる」ということは真実だ fact3: 認識出来ることは起きない fact4: まくまちょLv.97事件が起こるかまちゅまいLv.15事件が発生する fact5: もしもみちゃみちゅLv.45事件は起きないとしたらぴよぴちゃLv.56事件か尊しということが起きる fact6: もしぴよぴちゃLv.56事件が起きるとしたら尊しということは起きない fact7: 「安っぽいということは生じない」ということは確かだ
void -> assump1: 以下のように仮定する。みやみちゅLv.17事件が起こる; assump1 -> int1: みやみちゅLv.17事件が生じるかもしくはぴよぴちゃLv.56事件が発生するかあるいは両方だ; int1 & fact1 -> int2: 尊しということは起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。みやみちゅLv.17事件が起こる
$facts$ = fact1: みやみちゅLv.17事件かあるいはぴよぴちゃLv.56事件は「尊しということは起こらない」ということをもたらす fact2: 「尊しということが起こる」ということは真実だ fact3: 認識出来ることは起きない fact4: まくまちょLv.97事件が起こるかまちゅまいLv.15事件が発生する fact5: もしもみちゃみちゅLv.45事件は起きないとしたらぴよぴちゃLv.56事件か尊しということが起きる fact6: もしぴよぴちゃLv.56事件が起きるとしたら尊しということは起きない fact7: 「安っぽいということは生じない」ということは確かだ ; $hypothesis$ = みやみちゅLv.17事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。みやみちゅLv.17事件が起こる; assump1 -> int1: みやみちゅLv.17事件が生じるかもしくはぴよぴちゃLv.56事件が発生するかあるいは両方だ; int1 & fact1 -> int2: 尊しということは起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__