ぽにゅぽのLv.81事件が起きる
fact1: まにゃまよLv.94事件はもちゃもいLv.95事件にもたらされる fact2: 「汚れ易いということが発生する」ということは成り立つ fact3: 「茶色っぽいということと子供らしいということが生じる」ということは間違いでない fact4: もしまにゃまよLv.94事件が発生するし更に汚れ易いということが生じるとすればぽにゅぽのLv.81事件は生じない fact5: 生活し易いということは生じない fact6: 子供らしいということは起きないとすればぽにゅぽのLv.81事件と茶色っぽいということ両方が生じる fact7: 実演することとみくみえLv.15事件が生じる fact8: ぽよぽよLv.16事件および間違え易いということが起こる fact9: もちゃもいLv.95事件は子供らしいということが起きるということに誘発される fact10: 茶色っぽいということが起きる
fact3 -> int1: 子供らしいということが起きる; int1 & fact9 -> int2: もちゃもいLv.95事件が発生する; int2 & fact1 -> int3: まにゃまよLv.94事件が生じる; int3 & fact2 -> int4: まにゃまよLv.94事件と汚れ易いということ両方が起こる; int4 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 & fact9 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact2 -> int4: ({D} & {E}); int4 & fact4 -> hypothesis;
ぽにゅぽのLv.81事件が起きる
$facts$ = fact1: まにゃまよLv.94事件はもちゃもいLv.95事件にもたらされる fact2: 「汚れ易いということが発生する」ということは成り立つ fact3: 「茶色っぽいということと子供らしいということが生じる」ということは間違いでない fact4: もしまにゃまよLv.94事件が発生するし更に汚れ易いということが生じるとすればぽにゅぽのLv.81事件は生じない fact5: 生活し易いということは生じない fact6: 子供らしいということは起きないとすればぽにゅぽのLv.81事件と茶色っぽいということ両方が生じる fact7: 実演することとみくみえLv.15事件が生じる fact8: ぽよぽよLv.16事件および間違え易いということが起こる fact9: もちゃもいLv.95事件は子供らしいということが起きるということに誘発される fact10: 茶色っぽいということが起きる ; $hypothesis$ = ぽにゅぽのLv.81事件が起きる ; $proof$ = 
fact3 -> int1: 子供らしいということが起きる; int1 & fact9 -> int2: もちゃもいLv.95事件が発生する; int2 & fact1 -> int3: まにゃまよLv.94事件が生じる; int3 & fact2 -> int4: まにゃまよLv.94事件と汚れ易いということ両方が起こる; int4 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact9 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact2 -> int4: ({D} & {E}); int4 & fact4 -> hypothesis; __DISPROVED__