まちゅまちゃLv.17事件が起こるしおまけに黄色っぽいということが発生する
fact1: 黄色っぽいということが生じる fact2: 仮に御強いということが生じるとするとおっそろしということは起こらないしもくもいLv.10事件は起きない fact3: もしもくもいLv.10事件が発生しないならまちゅまちゃLv.17事件は起きないし黄色っぽいということは起きない fact4: おっそろしということが生じる fact5: 仮に「おっそろしということは起こらない」ということは真実であるとしたら「まちゅまちゃLv.17事件が発生するしまた黄色っぽいということが起きる」ということは真実でない fact6: おっそろしということはまちゅまちゃLv.17事件は生じないということを回避する
fact6 & fact4 -> int1: まちゅまちゃLv.17事件が起こる; int1 & fact1 -> hypothesis;
fact6 & fact4 -> int1: {B}; int1 & fact1 -> hypothesis;
「まちゅまちゃLv.17事件と黄色っぽいということが発生する」ということは真実でない
$facts$ = fact1: 黄色っぽいということが生じる fact2: 仮に御強いということが生じるとするとおっそろしということは起こらないしもくもいLv.10事件は起きない fact3: もしもくもいLv.10事件が発生しないならまちゅまちゃLv.17事件は起きないし黄色っぽいということは起きない fact4: おっそろしということが生じる fact5: 仮に「おっそろしということは起こらない」ということは真実であるとしたら「まちゅまちゃLv.17事件が発生するしまた黄色っぽいということが起きる」ということは真実でない fact6: おっそろしということはまちゅまちゃLv.17事件は生じないということを回避する ; $hypothesis$ = まちゅまちゃLv.17事件が起こるしおまけに黄色っぽいということが発生する ; $proof$ = 
fact6 & fact4 -> int1: まちゅまちゃLv.17事件が起こる; int1 & fact1 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}; int1 & fact1 -> hypothesis; __PROVED__