以下のように仮定する。寄る辺無いということが起こる
fact1: もし生かし切ることは発生しないとするとストロークすることが起きるかしつっこいということが起こるかまたは両方ともだ fact2: しつっこいということが起きる fact3: 「寄る辺無いということは起きないししつっこいということは起こらない」ということはぷやぷちょLv.40事件は発生しないということの原因となる fact4: 「ストロークすることは生じない」ということは「しつっこいということと寄る辺無いということ両方ともが起きる」ということに起因する fact5: ストロークすることが発生する
void -> assump1: 以下のように仮定する。寄る辺無いということが起こる; fact2 & assump1 -> int1: 「しつっこいということと寄る辺無いということが発生する」ということは事実である; int1 & fact4 -> int2: ストロークすることは起こらない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。寄る辺無いということが起こる
$facts$ = fact1: もし生かし切ることは発生しないとするとストロークすることが起きるかしつっこいということが起こるかまたは両方ともだ fact2: しつっこいということが起きる fact3: 「寄る辺無いということは起きないししつっこいということは起こらない」ということはぷやぷちょLv.40事件は発生しないということの原因となる fact4: 「ストロークすることは生じない」ということは「しつっこいということと寄る辺無いということ両方ともが起きる」ということに起因する fact5: ストロークすることが発生する ; $hypothesis$ = 以下のように仮定する。寄る辺無いということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。寄る辺無いということが起こる; fact2 & assump1 -> int1: 「しつっこいということと寄る辺無いということが発生する」ということは事実である; int1 & fact4 -> int2: ストロークすることは起こらない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__