描き直すことが発生する
fact1: ねちっこいということおよびしゃあ無いということ両方ともが起こる fact2: もし仮に代弁することは起きないとすると交配することとしゃあ無いということが生じる fact3: しゃあ無いということが生じる fact4: もし仮に代弁することは起きないとするとしゃあ無いということとねちっこいということが起こる fact5: もしぽえぽわLv.2事件が起こるなら代弁することが起きないし白々しいということは発生する fact6: 「ねちっこいということが発生する」ということは描き直すことの原因となる fact7: 白々しいということは代弁することを阻む
fact1 -> int1: ねちっこいということが生じる; int1 & fact6 -> hypothesis;
fact1 -> int1: {A}; int1 & fact6 -> hypothesis;
描き直すことは起きない
$facts$ = fact1: ねちっこいということおよびしゃあ無いということ両方ともが起こる fact2: もし仮に代弁することは起きないとすると交配することとしゃあ無いということが生じる fact3: しゃあ無いということが生じる fact4: もし仮に代弁することは起きないとするとしゃあ無いということとねちっこいということが起こる fact5: もしぽえぽわLv.2事件が起こるなら代弁することが起きないし白々しいということは発生する fact6: 「ねちっこいということが発生する」ということは描き直すことの原因となる fact7: 白々しいということは代弁することを阻む ; $hypothesis$ = 描き直すことが発生する ; $proof$ = 
fact1 -> int1: ねちっこいということが生じる; int1 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact6 -> hypothesis; __PROVED__