混ぜ込むことは生じない
fact1: 「堪え兼ねることが起きないししかも引っ張り回すことは生じない」ということは放置することが起こらないということは原因だ fact2: 「ぷにゅぷえLv.22事件は生じなくて給付すことが起きる」ということは成り立たないなら給付すことは発生しない fact3: 堪え兼ねることが生じる fact4: もやもにLv.77事件が給付すことは起こらないということを防ぐ fact5: もしも根気良いということは発生しないとしたら放置することは起きないしまた生き難いということは発生しない fact6: ぷちゃぷえLv.29事件が生じるしまた騒々しいということが起こる fact7: もやもにLv.77事件が生じる fact8: 仮にぷにゅぷえLv.22事件が生じるとすると「堪え兼ねることは生じないが混ぜ込むことが起きる」ということは確かでない fact9: 給付すことおよび堪え兼ねることが起こるは混ぜ込むことを阻止する
fact4 & fact7 -> int1: 給付すことが起こる; int1 & fact3 -> int2: 給付すことおよび堪え兼ねることが発生する; int2 & fact9 -> hypothesis;
fact4 & fact7 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact9 -> hypothesis;
混ぜ込むことが生じる
$facts$ = fact1: 「堪え兼ねることが起きないししかも引っ張り回すことは生じない」ということは放置することが起こらないということは原因だ fact2: 「ぷにゅぷえLv.22事件は生じなくて給付すことが起きる」ということは成り立たないなら給付すことは発生しない fact3: 堪え兼ねることが生じる fact4: もやもにLv.77事件が給付すことは起こらないということを防ぐ fact5: もしも根気良いということは発生しないとしたら放置することは起きないしまた生き難いということは発生しない fact6: ぷちゃぷえLv.29事件が生じるしまた騒々しいということが起こる fact7: もやもにLv.77事件が生じる fact8: 仮にぷにゅぷえLv.22事件が生じるとすると「堪え兼ねることは生じないが混ぜ込むことが起きる」ということは確かでない fact9: 給付すことおよび堪え兼ねることが起こるは混ぜ込むことを阻止する ; $hypothesis$ = 混ぜ込むことは生じない ; $proof$ = 
fact4 & fact7 -> int1: 給付すことが起こる; int1 & fact3 -> int2: 給付すことおよび堪え兼ねることが発生する; int2 & fact9 -> hypothesis; __PROVED__
fact4 & fact7 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact9 -> hypothesis; __PROVED__