以下のように仮定する。陥り易いということが起こる
fact1: 仮に「厳いということは起きなくておまけにぽいぽちょLv.68事件は起きない」ということは成り立たないならば使えることは生じない fact2: 朗読することが発生する fact3: 厳いということが起きる fact4: 使えることは厳いということを防ぐ fact5: 厳いということは「陥り易いということか使えることが生じる」ということに防がれる fact6: 使えることは陥り易いということは発生しないということを阻む
void -> assump1: 以下のように仮定する。陥り易いということが起こる; assump1 -> int1: 陥り易いということが生じるかあるいは使えることが起きる; int1 & fact5 -> int2: 厳いということは起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
折衝することが発生するかまたは減量することが起きるかまたは両方ともだ
$facts$ = fact1: 仮に「厳いということは起きなくておまけにぽいぽちょLv.68事件は起きない」ということは成り立たないならば使えることは生じない fact2: 朗読することが発生する fact3: 厳いということが起きる fact4: 使えることは厳いということを防ぐ fact5: 厳いということは「陥り易いということか使えることが生じる」ということに防がれる fact6: 使えることは陥り易いということは発生しないということを阻む ; $hypothesis$ = 以下のように仮定する。陥り易いということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。陥り易いということが起こる; assump1 -> int1: 陥り易いということが生じるかあるいは使えることが起きる; int1 & fact5 -> int2: 厳いということは起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__