疑うことが起こる
fact1: 負わすことは生じないということは伝わり難いということに阻止される fact2: 疑うことは起こらないということはぷやぷわLv.37事件および負わすことが起きるにもたらされる fact3: みわみちょLv.49事件が生じる fact4: 春らしいということが起きる fact5: まよまちょLv.42事件が発生する fact6: ぷやぷわLv.37事件が起こる fact7: 考え辛いということが起こるしさらにぴよぴちゅLv.97事件が生じる fact8: 伝わり難いということが発生するしみみっちいということが生じる
fact8 -> int1: 伝わり難いということが起こる; fact1 & int1 -> int2: 負わすことが起こる; int2 & fact6 -> int3: ぷやぷわLv.37事件と負わすことが発生する; int3 & fact2 -> hypothesis;
fact8 -> int1: {A}; fact1 & int1 -> int2: {B}; int2 & fact6 -> int3: ({C} & {B}); int3 & fact2 -> hypothesis;
$facts$ = fact1: 負わすことは生じないということは伝わり難いということに阻止される fact2: 疑うことは起こらないということはぷやぷわLv.37事件および負わすことが起きるにもたらされる fact3: みわみちょLv.49事件が生じる fact4: 春らしいということが起きる fact5: まよまちょLv.42事件が発生する fact6: ぷやぷわLv.37事件が起こる fact7: 考え辛いということが起こるしさらにぴよぴちゅLv.97事件が生じる fact8: 伝わり難いということが発生するしみみっちいということが生じる ; $hypothesis$ = 疑うことが起こる ; $proof$ = 
fact8 -> int1: 伝わり難いということが起こる; fact1 & int1 -> int2: 負わすことが起こる; int2 & fact6 -> int3: ぷやぷわLv.37事件と負わすことが発生する; int3 & fact2 -> hypothesis; __DISPROVED__
fact8 -> int1: {A}; fact1 & int1 -> int2: {B}; int2 & fact6 -> int3: ({C} & {B}); int3 & fact2 -> hypothesis; __DISPROVED__