惜しみ無いということが起こる
fact1: 生まれ難いということが生じる fact2: みくみねLv.65事件はぴねぴのLv.3事件に帰結する fact3: 申し込みすることが起きる fact4: 「惜しみ無いということは起きない」ということはぴねぴのLv.3事件に防がれる fact5: 生まれ難いということはみくみねLv.65事件のきっかけとなる fact6: 「みくみねLv.65事件ではなくてぴねぴのLv.3事件が生じる」ということは「雪深いということは発生しない」ということが契機である
fact5 & fact1 -> int1: みくみねLv.65事件が生じる; int1 & fact2 -> int2: ぴねぴのLv.3事件が生じる; int2 & fact4 -> hypothesis;
fact5 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis;
惜しみ無いということは発生しない
$facts$ = fact1: 生まれ難いということが生じる fact2: みくみねLv.65事件はぴねぴのLv.3事件に帰結する fact3: 申し込みすることが起きる fact4: 「惜しみ無いということは起きない」ということはぴねぴのLv.3事件に防がれる fact5: 生まれ難いということはみくみねLv.65事件のきっかけとなる fact6: 「みくみねLv.65事件ではなくてぴねぴのLv.3事件が生じる」ということは「雪深いということは発生しない」ということが契機である ; $hypothesis$ = 惜しみ無いということが起こる ; $proof$ = 
fact5 & fact1 -> int1: みくみねLv.65事件が生じる; int1 & fact2 -> int2: ぴねぴのLv.3事件が生じる; int2 & fact4 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__