灯し難いということが起きる
fact1: 「灯し難いということが起きる」ということは頑是無いということかもしくはもいもやLv.19事件かもしくは両方に阻止される fact2: 活用し易いということが発生する fact3: 「活用し易いということが起こるし加えて灯し難いということが発生する」ということは「まやまのLv.62事件は起こらない」ということに由来する fact4: もいもやLv.19事件が起こるということは灯し難いということは発生しないということに繋がる fact5: 活用し易いということが生じるしおまけにまやまのLv.62事件が起きる fact6: 「頑是無いということは発生しない」ということは与し易いということに防がれる fact7: 「与し易いということが起こるか頑是無いということは起こらないかまたは両方ともだ」ということはもいもやLv.19事件に誘発される
fact5 -> int1: まやまのLv.62事件が起きる;
fact5 -> int1: {B};
灯し難いということが起きる
$facts$ = fact1: 「灯し難いということが起きる」ということは頑是無いということかもしくはもいもやLv.19事件かもしくは両方に阻止される fact2: 活用し易いということが発生する fact3: 「活用し易いということが起こるし加えて灯し難いということが発生する」ということは「まやまのLv.62事件は起こらない」ということに由来する fact4: もいもやLv.19事件が起こるということは灯し難いということは発生しないということに繋がる fact5: 活用し易いということが生じるしおまけにまやまのLv.62事件が起きる fact6: 「頑是無いということは発生しない」ということは与し易いということに防がれる fact7: 「与し易いということが起こるか頑是無いということは起こらないかまたは両方ともだ」ということはもいもやLv.19事件に誘発される ; $hypothesis$ = 灯し難いということが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__