形成され易いということが起こる
fact1: まあるいということが生じる fact2: 「まやまにゅLv.33事件が生じるかまたはぽにゅぽのLv.81事件が発生するか両方だ」ということは形成され易いということを阻む fact3: もし仮に「まやまにゅLv.33事件は起きない」ということは偽なら通い出すことが起きなくて加えてぽにゅぽのLv.81事件は生じない fact4: ぷにゅぷちょLv.6事件は寒しということに誘発される fact5: ぷえぷちょLv.55事件は起きない fact6: 寒しということが発生する fact7: 通い出すことがぽにゅぽのLv.81事件は起こらないということを阻止する fact8: ぷにゅぷちょLv.6事件が起こるということは「通い出すことは発生しない」ということを阻止する
fact4 & fact6 -> int1: ぷにゅぷちょLv.6事件が起こる; int1 & fact8 -> int2: 通い出すことが発生する; int2 & fact7 -> int3: ぽにゅぽのLv.81事件が発生する; int3 -> int4: まやまにゅLv.33事件かぽにゅぽのLv.81事件かまたは両方ともが起きる; int4 & fact2 -> hypothesis;
fact4 & fact6 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact7 -> int3: {D}; int3 -> int4: ({E} v {D}); int4 & fact2 -> hypothesis;
手強いということが起きる
$facts$ = fact1: まあるいということが生じる fact2: 「まやまにゅLv.33事件が生じるかまたはぽにゅぽのLv.81事件が発生するか両方だ」ということは形成され易いということを阻む fact3: もし仮に「まやまにゅLv.33事件は起きない」ということは偽なら通い出すことが起きなくて加えてぽにゅぽのLv.81事件は生じない fact4: ぷにゅぷちょLv.6事件は寒しということに誘発される fact5: ぷえぷちょLv.55事件は起きない fact6: 寒しということが発生する fact7: 通い出すことがぽにゅぽのLv.81事件は起こらないということを阻止する fact8: ぷにゅぷちょLv.6事件が起こるということは「通い出すことは発生しない」ということを阻止する ; $hypothesis$ = 形成され易いということが起こる ; $proof$ = 
fact4 & fact6 -> int1: ぷにゅぷちょLv.6事件が起こる; int1 & fact8 -> int2: 通い出すことが発生する; int2 & fact7 -> int3: ぽにゅぽのLv.81事件が発生する; int3 -> int4: まやまにゅLv.33事件かぽにゅぽのLv.81事件かまたは両方ともが起きる; int4 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact6 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact7 -> int3: {D}; int3 -> int4: ({E} v {D}); int4 & fact2 -> hypothesis; __DISPROVED__