ぴちょぴくLv.45事件は起きない
fact1: 生じ易いということは発生しないということは大人しいということが生じるということかもしくはぴちょぴくLv.45事件が起こるということかまたは両方に由来する fact2: もし仮に「生じ易いということが生じるけれどぴちょぴくLv.45事件は起きない」ということは成り立たないとすると大人しいということは生じない fact3: 大人しいということは「ぴちょぴくLv.45事件は発生しない」ということを阻止する fact4: 仮に引き難いということは生じないかもしくは大人しいということは起こらないかあるいは両方ともであるなら「引き難いということは生じない」ということは本当である fact5: 生じ易いということが起こる fact6: 大人しいということは「生じ易いということは発生しない」ということに繋がる fact7: 固いということは起きない
void -> assump1: 以下のように仮定する。ぴちょぴくLv.45事件が生じる; assump1 -> int1: 大人しいということが生じるかぴちょぴくLv.45事件が起きるかあるいは両方ともだ; int1 & fact1 -> int2: 生じ易いということは発生しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ぴちょぴくLv.45事件が生じる
$facts$ = fact1: 生じ易いということは発生しないということは大人しいということが生じるということかもしくはぴちょぴくLv.45事件が起こるということかまたは両方に由来する fact2: もし仮に「生じ易いということが生じるけれどぴちょぴくLv.45事件は起きない」ということは成り立たないとすると大人しいということは生じない fact3: 大人しいということは「ぴちょぴくLv.45事件は発生しない」ということを阻止する fact4: 仮に引き難いということは生じないかもしくは大人しいということは起こらないかあるいは両方ともであるなら「引き難いということは生じない」ということは本当である fact5: 生じ易いということが起こる fact6: 大人しいということは「生じ易いということは発生しない」ということに繋がる fact7: 固いということは起きない ; $hypothesis$ = ぴちょぴくLv.45事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴちょぴくLv.45事件が生じる; assump1 -> int1: 大人しいということが生じるかぴちょぴくLv.45事件が起きるかあるいは両方ともだ; int1 & fact1 -> int2: 生じ易いということは発生しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__