騒がしいということが起こる
fact1: ぴにぴよLv.16事件とまなまよLv.11事件両方が起こる fact2: 騒がしいということは生じないということはぴにぴよLv.16事件および子供っぽいということが起こるがきっかけである fact3: まなまよLv.11事件が起きる fact4: 子供っぽいということが発生する
fact1 -> int1: ぴにぴよLv.16事件が起こる; int1 & fact4 -> int2: ぴにぴよLv.16事件および子供っぽいということが起こる; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: ぴにぴよLv.16事件とまなまよLv.11事件両方が起こる fact2: 騒がしいということは生じないということはぴにぴよLv.16事件および子供っぽいということが起こるがきっかけである fact3: まなまよLv.11事件が起きる fact4: 子供っぽいということが発生する ; $hypothesis$ = 騒がしいということが起こる ; $proof$ = 
fact1 -> int1: ぴにぴよLv.16事件が起こる; int1 & fact4 -> int2: ぴにぴよLv.16事件および子供っぽいということが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__