申し上げることは起きない
fact1: 「もし「発生し易いということが起こるけれど申し上げることは起きない」ということは成り立たないなら発生し易いということは発生しない」ということは成り立つ fact2: ぴなぴにょLv.79事件が生じる fact3: 「ぴなぴにょLv.79事件は起きない」ということは格好悪いということが起きるということが原因だ fact4: もしも格好悪いということが起きるかまたは申し上げることが起こるとするとぴなぴにょLv.79事件は発生しない fact5: 格好悪いということが起こるとすると「発生し易いということが起こるがしかし申し上げることは起きない」ということは偽だ fact6: もし仮にもゆもくLv.32事件は生じないとすればぴなぴにょLv.79事件および格好悪いということが起こる
void -> assump1: 以下のように仮定する。申し上げることが起きる; assump1 -> int1: 格好悪いということかあるいは申し上げることが起こる; int1 & fact4 -> int2: ぴなぴにょLv.79事件は起きない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
発生し易いということは発生しない
$facts$ = fact1: 「もし「発生し易いということが起こるけれど申し上げることは起きない」ということは成り立たないなら発生し易いということは発生しない」ということは成り立つ fact2: ぴなぴにょLv.79事件が生じる fact3: 「ぴなぴにょLv.79事件は起きない」ということは格好悪いということが起きるということが原因だ fact4: もしも格好悪いということが起きるかまたは申し上げることが起こるとするとぴなぴにょLv.79事件は発生しない fact5: 格好悪いということが起こるとすると「発生し易いということが起こるがしかし申し上げることは起きない」ということは偽だ fact6: もし仮にもゆもくLv.32事件は生じないとすればぴなぴにょLv.79事件および格好悪いということが起こる ; $hypothesis$ = 申し上げることは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。申し上げることが起きる; assump1 -> int1: 格好悪いということかあるいは申し上げることが起こる; int1 & fact4 -> int2: ぴなぴにょLv.79事件は起きない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__