ぴにゃぴちゅLv.25事件が起こる
fact1: カジュアル化することは底堅いということに起因する fact2: もしも「惨たらしいということおよび行い易いということが生じる」ということは事実と異なるとすると惨たらしいということは発生しない fact3: 底堅いということかまくまにゅLv.72事件が生じる fact4: 惨たらしいということはぴにゃぴちゅLv.25事件は起きないということを阻止する fact5: 「まくまにゅLv.72事件が起きる」ということは惨たらしいということを引き起こす fact6: 底堅いということが発生するということは惨たらしいということは発生するということのきっかけとなる fact7: 粉っぽいということは出し難いということに誘発される
fact3 & fact6 & fact5 -> int1: 惨たらしいということが起こる; int1 & fact4 -> hypothesis;
fact3 & fact6 & fact5 -> int1: {C}; int1 & fact4 -> hypothesis;
カジュアル化することが起きる
$facts$ = fact1: カジュアル化することは底堅いということに起因する fact2: もしも「惨たらしいということおよび行い易いということが生じる」ということは事実と異なるとすると惨たらしいということは発生しない fact3: 底堅いということかまくまにゅLv.72事件が生じる fact4: 惨たらしいということはぴにゃぴちゅLv.25事件は起きないということを阻止する fact5: 「まくまにゅLv.72事件が起きる」ということは惨たらしいということを引き起こす fact6: 底堅いということが発生するということは惨たらしいということは発生するということのきっかけとなる fact7: 粉っぽいということは出し難いということに誘発される ; $hypothesis$ = ぴにゃぴちゅLv.25事件が起こる ; $proof$ = 
fact3 & fact6 & fact5 -> int1: 惨たらしいということが起こる; int1 & fact4 -> hypothesis; __PROVED__
fact3 & fact6 & fact5 -> int1: {C}; int1 & fact4 -> hypothesis; __PROVED__