「申し述べることは起きない」ということは成り立つ
fact1: 不足し易いということは「揺るぎないということは発生しなくてかつぽやぽえLv.14事件は起きない」ということの原因となる fact2: ぽちゅぽわLv.59事件が起きないということは「揺るぎないということは起こらないししかもぽやぽえLv.14事件は起きない」ということは契機である fact3: 「ぽちゅぽわLv.59事件が起きるかぽやぽえLv.14事件が起こるかあるいは両方ともだ」ということは「申し述べることは起きない」ということに帰結する fact4: もし仮にしどけないということが起こるとすればぽちゅぽわLv.59事件が起こる fact5: しどけないということと揺るぎないということ両方ともが起こる
fact5 -> int1: しどけないということが生じる; fact4 & int1 -> int2: ぽちゅぽわLv.59事件が起こる; int2 -> int3: ぽちゅぽわLv.59事件が起こるかあるいはぽやぽえLv.14事件が起こるかもしくはどちらもである; int3 & fact3 -> hypothesis;
fact5 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 -> int3: ({B} v {C}); int3 & fact3 -> hypothesis;
申し述べることが起きる
$facts$ = fact1: 不足し易いということは「揺るぎないということは発生しなくてかつぽやぽえLv.14事件は起きない」ということの原因となる fact2: ぽちゅぽわLv.59事件が起きないということは「揺るぎないということは起こらないししかもぽやぽえLv.14事件は起きない」ということは契機である fact3: 「ぽちゅぽわLv.59事件が起きるかぽやぽえLv.14事件が起こるかあるいは両方ともだ」ということは「申し述べることは起きない」ということに帰結する fact4: もし仮にしどけないということが起こるとすればぽちゅぽわLv.59事件が起こる fact5: しどけないということと揺るぎないということ両方ともが起こる ; $hypothesis$ = 「申し述べることは起きない」ということは成り立つ ; $proof$ = 
fact5 -> int1: しどけないということが生じる; fact4 & int1 -> int2: ぽちゅぽわLv.59事件が起こる; int2 -> int3: ぽちゅぽわLv.59事件が起こるかあるいはぽやぽえLv.14事件が起こるかもしくはどちらもである; int3 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 -> int3: ({B} v {C}); int3 & fact3 -> hypothesis; __PROVED__