物憂いということが起こる
fact1: 「物憂いということは起きない」ということは判別し易いということに防がれる fact2: 招き易いということが発生する fact3: 傾き掛けることが発生するしおまけにもにもくLv.84事件が起きる fact4: 「判別し易いということは発生しない」ということはもにもくLv.84事件に阻止される
fact3 -> int1: もにもくLv.84事件が起こる; int1 & fact4 -> int2: 判別し易いということが生じる; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「物憂いということは起きない」ということは判別し易いということに防がれる fact2: 招き易いということが発生する fact3: 傾き掛けることが発生するしおまけにもにもくLv.84事件が起きる fact4: 「判別し易いということは発生しない」ということはもにもくLv.84事件に阻止される ; $hypothesis$ = 物憂いということが起こる ; $proof$ = 
fact3 -> int1: もにもくLv.84事件が起こる; int1 & fact4 -> int2: 判別し易いということが生じる; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__