ぽえぽやLv.30事件は生じない
fact1: ぴくぴなLv.15事件は人懐っこいということを招く fact2: 「遊び歩くことが起きる」ということは成り立つ fact3: 「遊び歩くことが起きるしかつ人懐っこいということが起こる」ということは「ぽえぽやLv.30事件が発生する」ということを阻止する fact4: みちゅみよLv.90事件が起こる fact5: 文明化することが起こる fact6: ぴくぴなLv.15事件が起こる fact7: もし「急成長することおよび人懐っこいということ両方ともが生じる」ということは成り立たないならば人懐っこいということは起こらない
fact1 & fact6 -> int1: 人懐っこいということが起きる; int1 & fact2 -> int2: 遊び歩くことが発生するしかつ人懐っこいということが起こる; int2 & fact3 -> hypothesis;
fact1 & fact6 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
ぽえぽやLv.30事件が生じる
$facts$ = fact1: ぴくぴなLv.15事件は人懐っこいということを招く fact2: 「遊び歩くことが起きる」ということは成り立つ fact3: 「遊び歩くことが起きるしかつ人懐っこいということが起こる」ということは「ぽえぽやLv.30事件が発生する」ということを阻止する fact4: みちゅみよLv.90事件が起こる fact5: 文明化することが起こる fact6: ぴくぴなLv.15事件が起こる fact7: もし「急成長することおよび人懐っこいということ両方ともが生じる」ということは成り立たないならば人懐っこいということは起こらない ; $hypothesis$ = ぽえぽやLv.30事件は生じない ; $proof$ = 
fact1 & fact6 -> int1: 人懐っこいということが起きる; int1 & fact2 -> int2: 遊び歩くことが発生するしかつ人懐っこいということが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __PROVED__