心許ないということは起こらない
fact1: 「まくまちょLv.99事件が起きる」ということは心許ないということを発生させる fact2: もし仮に使い難いということが起きるとしたらまくまちょLv.99事件は生じないけれどもゆもにゃLv.86事件が生じる fact3: もしみにょみわLv.42事件は起こらないならば使い難いということとぷにゃぷちゅLv.87事件が生じる fact4: 倹しいということは「みにょみわLv.42事件は起こらないし切り離し難いということは起きない」ということを発生させる fact5: 「良いということが起きる」ということは本当である fact6: まくまちょLv.99事件がみにゅみねLv.0事件が生じるということは原因だ fact7: 仮に良いということが生じるしみにゅみねLv.0事件は生じないとすると心許ないということは起こらない fact8: みにゅみねLv.0事件は良いということに由来する
fact8 & fact5 -> int1: 「みにゅみねLv.0事件が起きる」ということは成り立つ; int1 & fact6 -> int2: まくまちょLv.99事件が起きる; int2 & fact1 -> hypothesis;
fact8 & fact5 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis;
心許ないということは起こらない
$facts$ = fact1: 「まくまちょLv.99事件が起きる」ということは心許ないということを発生させる fact2: もし仮に使い難いということが起きるとしたらまくまちょLv.99事件は生じないけれどもゆもにゃLv.86事件が生じる fact3: もしみにょみわLv.42事件は起こらないならば使い難いということとぷにゃぷちゅLv.87事件が生じる fact4: 倹しいということは「みにょみわLv.42事件は起こらないし切り離し難いということは起きない」ということを発生させる fact5: 「良いということが起きる」ということは本当である fact6: まくまちょLv.99事件がみにゅみねLv.0事件が生じるということは原因だ fact7: 仮に良いということが生じるしみにゅみねLv.0事件は生じないとすると心許ないということは起こらない fact8: みにゅみねLv.0事件は良いということに由来する ; $hypothesis$ = 心許ないということは起こらない ; $proof$ = 
fact8 & fact5 -> int1: 「みにゅみねLv.0事件が起きる」ということは成り立つ; int1 & fact6 -> int2: まくまちょLv.99事件が起きる; int2 & fact1 -> hypothesis; __DISPROVED__
fact8 & fact5 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis; __DISPROVED__