「取り難いということは起きない」ということは事実である
fact1: もいもねLv.4事件は「取り難いということは起きない」ということのきっかけとなる fact2: 取り難いということは「聞き取り易いということかまたはもいもねLv.4事件が生じる」ということに阻まれる fact3: 「取り難いということおよび眠たいということが発生する」ということは成り立たないならばもいもねLv.4事件は起こらない fact4: 身軽いということは起きない fact5: 聞き取り易いということが起こる
fact5 -> int1: 聞き取り易いということが生じるかもいもねLv.4事件が発生する; int1 & fact2 -> hypothesis;
fact5 -> int1: ({A} v {B}); int1 & fact2 -> hypothesis;
みなみゆLv.83事件が起きる
$facts$ = fact1: もいもねLv.4事件は「取り難いということは起きない」ということのきっかけとなる fact2: 取り難いということは「聞き取り易いということかまたはもいもねLv.4事件が生じる」ということに阻まれる fact3: 「取り難いということおよび眠たいということが発生する」ということは成り立たないならばもいもねLv.4事件は起こらない fact4: 身軽いということは起きない fact5: 聞き取り易いということが起こる ; $hypothesis$ = 「取り難いということは起きない」ということは事実である ; $proof$ = 
fact5 -> int1: 聞き取り易いということが生じるかもいもねLv.4事件が発生する; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: ({A} v {B}); int1 & fact2 -> hypothesis; __PROVED__