まねまのLv.67事件が起きる
fact1: 「まねまのLv.67事件は起きない」ということは左右され易いということに防がれる fact2: 左右され易いということは長ったらしいということが起こるということに起因する fact3: もえもちゅLv.36事件が生じる fact4: もえもちゅLv.36事件が生じるしおまけに長ったらしいということが起きる
fact4 -> int1: 長ったらしいということが起きる; int1 & fact2 -> int2: 左右され易いということが生じる; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「まねまのLv.67事件は起きない」ということは左右され易いということに防がれる fact2: 左右され易いということは長ったらしいということが起こるということに起因する fact3: もえもちゅLv.36事件が生じる fact4: もえもちゅLv.36事件が生じるしおまけに長ったらしいということが起きる ; $hypothesis$ = まねまのLv.67事件が起きる ; $proof$ = 
fact4 -> int1: 長ったらしいということが起きる; int1 & fact2 -> int2: 左右され易いということが生じる; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__