以下のように仮定する。クランプすることが起こる
fact1: 狙い易いということは起こらないということかもしくはクランプすることは「クランプすることは発生しない」ということを阻む fact2: 狙い易いということが生じる fact3: もし仮に「クランプすることは発生するしぴやぴねLv.81事件は発生する」ということは成り立たないとすれば「ぴやぴねLv.81事件は発生しない」ということは成り立つ fact4: 仮に如何わしいということは起こらないなら「クランプすることおよびぴやぴねLv.81事件が起こる」ということは誤りである fact5: 「狙い易いということは起こらない」ということは如何わしいということかまたは「クランプすることが起こる」ということか両方ともがきっかけだ
void -> assump1: 以下のように仮定する。クランプすることが起こる; assump1 -> int1: 如何わしいということかあるいはクランプすることかもしくはどちらもが生じる; int1 & fact5 -> int2: 狙い易いということは起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。クランプすることが起こる
$facts$ = fact1: 狙い易いということは起こらないということかもしくはクランプすることは「クランプすることは発生しない」ということを阻む fact2: 狙い易いということが生じる fact3: もし仮に「クランプすることは発生するしぴやぴねLv.81事件は発生する」ということは成り立たないとすれば「ぴやぴねLv.81事件は発生しない」ということは成り立つ fact4: 仮に如何わしいということは起こらないなら「クランプすることおよびぴやぴねLv.81事件が起こる」ということは誤りである fact5: 「狙い易いということは起こらない」ということは如何わしいということかまたは「クランプすることが起こる」ということか両方ともがきっかけだ ; $hypothesis$ = 以下のように仮定する。クランプすることが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。クランプすることが起こる; assump1 -> int1: 如何わしいということかあるいはクランプすることかもしくはどちらもが生じる; int1 & fact5 -> int2: 狙い易いということは起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__