もにょもねLv.13事件および懐こいということ両方ともが起こる
fact1: 懐こいということが起きる fact2: 「もにょもねLv.13事件は発生しない」ということは「差し入れることおよび感じ易いということが起こる」ということを誘発する fact3: 感じ易いということが起こるしもにょもねLv.13事件が起こる
fact3 -> int1: 「もにょもねLv.13事件が発生する」ということは誤りでない; int1 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact1 -> hypothesis;
差し入れることが発生する
$facts$ = fact1: 懐こいということが起きる fact2: 「もにょもねLv.13事件は発生しない」ということは「差し入れることおよび感じ易いということが起こる」ということを誘発する fact3: 感じ易いということが起こるしもにょもねLv.13事件が起こる ; $hypothesis$ = もにょもねLv.13事件および懐こいということ両方ともが起こる ; $proof$ = 
fact3 -> int1: 「もにょもねLv.13事件が発生する」ということは誤りでない; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact1 -> hypothesis; __PROVED__