勇ましいということは生じない
fact1: ぷねぷちゅLv.13事件が起こる fact2: 「ぷねぷちゅLv.13事件とまにまちゃLv.69事件どちらもが生じる」ということは勇ましいということを阻む fact3: 子供らしいということは生じないということは来難いということと信仰深いということが発生するに繋がる fact4: みいみいLv.49事件が起こるということはまにまちゃLv.69事件を引き起こす fact5: みいみいLv.49事件が生じる fact6: 仮に「貢ぐことではなく止む無いということが生じる」ということは間違っていれば子供らしいということは発生しない fact7: もし仮にまくまえLv.40事件は起きないならば「貢ぐことではなくて止む無いということが起こる」ということは間違いだ fact8: もし仮に来難いということが生じれば「「勇ましいということは生じないかぷねぷちゅLv.13事件が発生する」ということは成り立たない」ということは間違いでない
fact4 & fact5 -> int1: まにまちゃLv.69事件が発生する; int1 & fact1 -> int2: ぷねぷちゅLv.13事件が起こるしまにまちゃLv.69事件が生じる; int2 & fact2 -> hypothesis;
fact4 & fact5 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis;
真白いということが生じる
$facts$ = fact1: ぷねぷちゅLv.13事件が起こる fact2: 「ぷねぷちゅLv.13事件とまにまちゃLv.69事件どちらもが生じる」ということは勇ましいということを阻む fact3: 子供らしいということは生じないということは来難いということと信仰深いということが発生するに繋がる fact4: みいみいLv.49事件が起こるということはまにまちゃLv.69事件を引き起こす fact5: みいみいLv.49事件が生じる fact6: 仮に「貢ぐことではなく止む無いということが生じる」ということは間違っていれば子供らしいということは発生しない fact7: もし仮にまくまえLv.40事件は起きないならば「貢ぐことではなくて止む無いということが起こる」ということは間違いだ fact8: もし仮に来難いということが生じれば「「勇ましいということは生じないかぷねぷちゅLv.13事件が発生する」ということは成り立たない」ということは間違いでない ; $hypothesis$ = 勇ましいということは生じない ; $proof$ = 
fact4 & fact5 -> int1: まにまちゃLv.69事件が発生する; int1 & fact1 -> int2: ぷねぷちゅLv.13事件が起こるしまにまちゃLv.69事件が生じる; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis; __PROVED__