混入し易いということが発生する
fact1: 貸し出しすることは「混入し易いということは起こらない」ということを発生させる fact2: ぴちゅぴのLv.87事件が起こる fact3: 「もにゃもなLv.70事件かもにゅもやLv.20事件が起こる」ということは期待し難いということを阻止する fact4: もし仮にぴちゅぴのLv.87事件かまたは貸し出しすることが生じれば混入し易いということは起こらない fact5: みわみわLv.59事件は生じない fact6: 手強いということは発生しない
fact2 -> int1: ぴちゅぴのLv.87事件が生じるかまたは貸し出しすることが起こる; int1 & fact4 -> hypothesis;
fact2 -> int1: ({A} v {B}); int1 & fact4 -> hypothesis;
$facts$ = fact1: 貸し出しすることは「混入し易いということは起こらない」ということを発生させる fact2: ぴちゅぴのLv.87事件が起こる fact3: 「もにゃもなLv.70事件かもにゅもやLv.20事件が起こる」ということは期待し難いということを阻止する fact4: もし仮にぴちゅぴのLv.87事件かまたは貸し出しすることが生じれば混入し易いということは起こらない fact5: みわみわLv.59事件は生じない fact6: 手強いということは発生しない ; $hypothesis$ = 混入し易いということが発生する ; $proof$ = 
fact2 -> int1: ぴちゅぴのLv.87事件が生じるかまたは貸し出しすることが起こる; int1 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A} v {B}); int1 & fact4 -> hypothesis; __DISPROVED__