立て易いということが発生する
fact1: 立て易いということは起こらないということはみいみにょLv.82事件かあるいは「もわものLv.71事件が起こる」ということかもしくは両方が原因である fact2: みねみにょLv.61事件が起きないか開示することは起こらない fact3: もわものLv.71事件は立て易いということを回避する fact4: 「みいみにょLv.82事件は起きない」ということは開示することは起こらないということに阻止される fact5: みにみよLv.18事件は生じない fact6: みねみにょLv.61事件が起きないということはみいみにょLv.82事件は起きないということを回避する
fact2 & fact6 & fact4 -> int1: みいみにょLv.82事件が起きる; int1 -> int2: みいみにょLv.82事件が起こるかもわものLv.71事件が起きるかまたはどちらもである; int2 & fact1 -> hypothesis;
fact2 & fact6 & fact4 -> int1: {C}; int1 -> int2: ({C} v {D}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 立て易いということは起こらないということはみいみにょLv.82事件かあるいは「もわものLv.71事件が起こる」ということかもしくは両方が原因である fact2: みねみにょLv.61事件が起きないか開示することは起こらない fact3: もわものLv.71事件は立て易いということを回避する fact4: 「みいみにょLv.82事件は起きない」ということは開示することは起こらないということに阻止される fact5: みにみよLv.18事件は生じない fact6: みねみにょLv.61事件が起きないということはみいみにょLv.82事件は起きないということを回避する ; $hypothesis$ = 立て易いということが発生する ; $proof$ = 
fact2 & fact6 & fact4 -> int1: みいみにょLv.82事件が起きる; int1 -> int2: みいみにょLv.82事件が起こるかもわものLv.71事件が起きるかまたはどちらもである; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact6 & fact4 -> int1: {C}; int1 -> int2: ({C} v {D}); int2 & fact1 -> hypothesis; __DISPROVED__