おっかしいということが生じる
fact1: 太いということが生じる fact2: 「おっかしいということは生じない」ということはめでたいということに防がれる fact3: もしもぷちゅぷにゃLv.40事件が生じるならみよみゆLv.46事件が生じる fact4: 仮に太いということが生じるとするとめでたいということが起こる fact5: みにょみよLv.16事件は「御辛いということが生じるがめでたいということは生じない」ということに繋がる
fact4 & fact1 -> int1: めでたいということが発生する; int1 & fact2 -> hypothesis;
fact4 & fact1 -> int1: {B}; int1 & fact2 -> hypothesis;
おっかしいということは起こらない
$facts$ = fact1: 太いということが生じる fact2: 「おっかしいということは生じない」ということはめでたいということに防がれる fact3: もしもぷちゅぷにゃLv.40事件が生じるならみよみゆLv.46事件が生じる fact4: 仮に太いということが生じるとするとめでたいということが起こる fact5: みにょみよLv.16事件は「御辛いということが生じるがめでたいということは生じない」ということに繋がる ; $hypothesis$ = おっかしいということが生じる ; $proof$ = 
fact4 & fact1 -> int1: めでたいということが発生する; int1 & fact2 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__