ぷねぷちゅLv.41事件は発生しないけど癌化することが生じる
fact1: 「みにみにょLv.58事件は起こらないかあるいはぷねぷちゅLv.41事件が生じる」ということは誤っている fact2: 癌化することが発生する fact3: 「みにみにょLv.58事件が生じるけれどぷねぷちゅLv.41事件は発生しない」ということはもちゅもゆLv.66事件が起こるということを生じさせる
void -> assump1: 以下のように仮定する。ぷねぷちゅLv.41事件が発生する; assump1 -> int1: みにみにょLv.58事件は生じないかあるいはぷねぷちゅLv.41事件が起こる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷねぷちゅLv.41事件は発生しない; int3 & fact2 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: (¬{A} v {B}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{B}; int3 & fact2 -> hypothesis;
もちゅもゆLv.66事件が発生する
$facts$ = fact1: 「みにみにょLv.58事件は起こらないかあるいはぷねぷちゅLv.41事件が生じる」ということは誤っている fact2: 癌化することが発生する fact3: 「みにみにょLv.58事件が生じるけれどぷねぷちゅLv.41事件は発生しない」ということはもちゅもゆLv.66事件が起こるということを生じさせる ; $hypothesis$ = ぷねぷちゅLv.41事件は発生しないけど癌化することが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷねぷちゅLv.41事件が発生する; assump1 -> int1: みにみにょLv.58事件は生じないかあるいはぷねぷちゅLv.41事件が起こる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷねぷちゅLv.41事件は発生しない; int3 & fact2 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: (¬{A} v {B}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{B}; int3 & fact2 -> hypothesis; __PROVED__