粘り強いということは起こらない
fact1: もしもゆもちょLv.30事件が起きないとすれば発生し易いということは発生するししかも黒いということが起きる fact2: 「発生し易いということか淀み無いということかあるいはどちらもが起きる」ということは粘り強いということを阻む fact3: もゆもちょLv.30事件は起こらない
fact3 & fact1 -> int1: 発生し易いということが起きるしその上黒いということが起こる; int1 -> int2: 発生し易いということが発生する; int2 -> int3: 発生し易いということが生じるか淀み無いということが発生するかもしくは両方だ; int3 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact2 -> hypothesis;
$facts$ = fact1: もしもゆもちょLv.30事件が起きないとすれば発生し易いということは発生するししかも黒いということが起きる fact2: 「発生し易いということか淀み無いということかあるいはどちらもが起きる」ということは粘り強いということを阻む fact3: もゆもちょLv.30事件は起こらない ; $hypothesis$ = 粘り強いということは起こらない ; $proof$ = 
fact3 & fact1 -> int1: 発生し易いということが起きるしその上黒いということが起こる; int1 -> int2: 発生し易いということが発生する; int2 -> int3: 発生し易いということが生じるか淀み無いということが発生するかもしくは両方だ; int3 & fact2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact2 -> hypothesis; __PROVED__