捕らえ難いということが起きるしさらにみやみわLv.67事件が生じる
fact1: 疑わしいということとまいまちゃLv.76事件どちらもが起きる fact2: まいまちゃLv.76事件が発生する fact3: 「みやみわLv.67事件が生じる」ということは成り立つ fact4: 疑わしいということは発生しないならば「捕らえ難いということが起こるしさらにみやみわLv.67事件が起きる」ということは成り立たない fact5: もしも「まいまちゃLv.76事件は起きない」ということは真実であるならば胸苦しいということと疑わしいということが起きる fact6: 取り掛かり易いということおよび憂いということが発生する fact7: 疑わしいということは捕らえ難いということをもたらす
fact1 -> int1: 疑わしいということが生じる; int1 & fact7 -> int2: 捕らえ難いということが生じる; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact3 -> hypothesis;
「胸苦しいということが起こるしおまけに顕現することが発生する」ということは成り立つ
$facts$ = fact1: 疑わしいということとまいまちゃLv.76事件どちらもが起きる fact2: まいまちゃLv.76事件が発生する fact3: 「みやみわLv.67事件が生じる」ということは成り立つ fact4: 疑わしいということは発生しないならば「捕らえ難いということが起こるしさらにみやみわLv.67事件が起きる」ということは成り立たない fact5: もしも「まいまちゃLv.76事件は起きない」ということは真実であるならば胸苦しいということと疑わしいということが起きる fact6: 取り掛かり易いということおよび憂いということが発生する fact7: 疑わしいということは捕らえ難いということをもたらす ; $hypothesis$ = 捕らえ難いということが起きるしさらにみやみわLv.67事件が生じる ; $proof$ = 
fact1 -> int1: 疑わしいということが生じる; int1 & fact7 -> int2: 捕らえ難いということが生じる; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__