もやもねLv.69事件が生じる
fact1: 信じ易いということおよび減封することが生じる fact2: 「ぷやぷちゃLv.14事件が生じる」ということは事実と異ならない fact3: 信仰深いということが起こる fact4: 得難いということが起きる fact5: 減封することは依怙贔屓することを生じさせる fact6: ぴにょぴにょLv.77事件は生じないということは「活動し難いということが起きる」ということに阻止される fact7: 依怙贔屓することがもやもねLv.69事件は起きないということを防ぐ
fact1 -> int1: 減封することが生じる; int1 & fact5 -> int2: 依怙贔屓することが起こる; int2 & fact7 -> hypothesis;
fact1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact7 -> hypothesis;
$facts$ = fact1: 信じ易いということおよび減封することが生じる fact2: 「ぷやぷちゃLv.14事件が生じる」ということは事実と異ならない fact3: 信仰深いということが起こる fact4: 得難いということが起きる fact5: 減封することは依怙贔屓することを生じさせる fact6: ぴにょぴにょLv.77事件は生じないということは「活動し難いということが起きる」ということに阻止される fact7: 依怙贔屓することがもやもねLv.69事件は起きないということを防ぐ ; $hypothesis$ = もやもねLv.69事件が生じる ; $proof$ = 
fact1 -> int1: 減封することが生じる; int1 & fact5 -> int2: 依怙贔屓することが起こる; int2 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact7 -> hypothesis; __PROVED__