ぷちょぷちゃLv.40事件は生じない
fact1: もし仮に男の子らしいということは発生しないとすればぷちょぷちゃLv.40事件およびまえまちゃLv.2事件どちらもが生じる fact2: ぷちょぷちゃLv.40事件は「まえまちゃLv.2事件と男の子らしいということ両方が起きる」ということに防がれる fact3: もしまにゅまちょLv.71事件が起こるなら男の子らしいということは発生しなくてぷちょぷちゃLv.40事件は起こらない fact4: 男の子らしいということは起きないということは「色っぽいということとまえまちゃLv.2事件両方が起こる」ということの原因となる fact5: 男の子らしいということが生じる fact6: 「ぽなぽわLv.86事件が起きる」ということは成り立つ fact7: まえまちゃLv.2事件が生じる
fact7 & fact5 -> int1: まえまちゃLv.2事件と男の子らしいということ両方が起こる; int1 & fact2 -> hypothesis;
fact7 & fact5 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
色っぽいということが起きる
$facts$ = fact1: もし仮に男の子らしいということは発生しないとすればぷちょぷちゃLv.40事件およびまえまちゃLv.2事件どちらもが生じる fact2: ぷちょぷちゃLv.40事件は「まえまちゃLv.2事件と男の子らしいということ両方が起きる」ということに防がれる fact3: もしまにゅまちょLv.71事件が起こるなら男の子らしいということは発生しなくてぷちょぷちゃLv.40事件は起こらない fact4: 男の子らしいということは起きないということは「色っぽいということとまえまちゃLv.2事件両方が起こる」ということの原因となる fact5: 男の子らしいということが生じる fact6: 「ぽなぽわLv.86事件が起きる」ということは成り立つ fact7: まえまちゃLv.2事件が生じる ; $hypothesis$ = ぷちょぷちゃLv.40事件は生じない ; $proof$ = 
fact7 & fact5 -> int1: まえまちゃLv.2事件と男の子らしいということ両方が起こる; int1 & fact2 -> hypothesis; __PROVED__
fact7 & fact5 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __PROVED__