もわもちゅLv.68事件が発生する
fact1: まゆまえLv.67事件は生じないということは「移動し易いということおよび弛むこと両方ともが発生する」ということを招く fact2: もわもちゅLv.68事件は発生しないということは弛むことに防がれる fact3: 弛むことがし難いということは契機である fact4: し難いということが生じるし移動し易いということが生じる
fact4 -> int1: し難いということが発生する; int1 & fact3 -> int2: 弛むことが発生する; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact2 -> hypothesis;
もわもちゅLv.68事件は起こらない
$facts$ = fact1: まゆまえLv.67事件は生じないということは「移動し易いということおよび弛むこと両方ともが発生する」ということを招く fact2: もわもちゅLv.68事件は発生しないということは弛むことに防がれる fact3: 弛むことがし難いということは契機である fact4: し難いということが生じるし移動し易いということが生じる ; $hypothesis$ = もわもちゅLv.68事件が発生する ; $proof$ = 
fact4 -> int1: し難いということが発生する; int1 & fact3 -> int2: 弛むことが発生する; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__