赤っぽいということは発生しない
fact1: 有り難しということが起きる fact2: 「洒落臭いということは生じないがしかしぴにゃぴやLv.0事件が起きる」ということは成り立つということはないとしたら洒落臭いということが発生する fact3: 「ぴにぴくLv.49事件が起こる」ということか赤っぽいということはぽよぽよLv.24事件を阻む fact4: まくまにょLv.31事件が生じるかあるいは伝授することが生じるかどちらもである fact5: 「ぽよぽよLv.24事件が起こらなくて加えてぴにぴくLv.49事件は発生しない」ということは洒落臭いということにもたらされる fact6: ぽよぽよLv.24事件が起こる
void -> assump1: 以下のように仮定する。赤っぽいということが起きる; assump1 -> int1: ぴにぴくLv.49事件かまたは赤っぽいということかあるいは両方が生じる; int1 & fact3 -> int2: 「ぽよぽよLv.24事件は発生しない」ということは成り立つ; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。赤っぽいということが起きる
$facts$ = fact1: 有り難しということが起きる fact2: 「洒落臭いということは生じないがしかしぴにゃぴやLv.0事件が起きる」ということは成り立つということはないとしたら洒落臭いということが発生する fact3: 「ぴにぴくLv.49事件が起こる」ということか赤っぽいということはぽよぽよLv.24事件を阻む fact4: まくまにょLv.31事件が生じるかあるいは伝授することが生じるかどちらもである fact5: 「ぽよぽよLv.24事件が起こらなくて加えてぴにぴくLv.49事件は発生しない」ということは洒落臭いということにもたらされる fact6: ぽよぽよLv.24事件が起こる ; $hypothesis$ = 赤っぽいということは発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。赤っぽいということが起きる; assump1 -> int1: ぴにぴくLv.49事件かまたは赤っぽいということかあるいは両方が生じる; int1 & fact3 -> int2: 「ぽよぽよLv.24事件は発生しない」ということは成り立つ; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__