構成すことは起こらない
fact1: 構成すことが起こらないということは「理解し易いということは発生しないし鑑別することが起こる」ということはきっかけである fact2: ぷくぷねLv.21事件は起こらない fact3: 小汚いということかまたはぷくぷねLv.21事件は生じないということは「理解し易いということは発生しない」ということを招く fact4: 鑑別することが発生する fact5: 「ぷくぷねLv.21事件が起こらないかあるいはまちゅまよLv.56事件は起きない」ということはまちゅまよLv.56事件を阻止する fact6: 小汚いということが発生するということは構成すことは生じないということを防ぐ
fact2 -> int1: 小汚いということが起こるかまたはぷくぷねLv.21事件は発生しないかあるいは両方ともだ; int1 & fact3 -> int2: 「理解し易いということは生じない」ということは成り立つ; int2 & fact4 -> int3: 理解し易いということは発生しないけれど鑑別することが起こる; int3 & fact1 -> hypothesis;
fact2 -> int1: ({A} v ¬{B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: (¬{C} & {D}); int3 & fact1 -> hypothesis;
まちゅまよLv.56事件は発生しない
$facts$ = fact1: 構成すことが起こらないということは「理解し易いということは発生しないし鑑別することが起こる」ということはきっかけである fact2: ぷくぷねLv.21事件は起こらない fact3: 小汚いということかまたはぷくぷねLv.21事件は生じないということは「理解し易いということは発生しない」ということを招く fact4: 鑑別することが発生する fact5: 「ぷくぷねLv.21事件が起こらないかあるいはまちゅまよLv.56事件は起きない」ということはまちゅまよLv.56事件を阻止する fact6: 小汚いということが発生するということは構成すことは生じないということを防ぐ ; $hypothesis$ = 構成すことは起こらない ; $proof$ = 
fact2 -> int1: 小汚いということが起こるかまたはぷくぷねLv.21事件は発生しないかあるいは両方ともだ; int1 & fact3 -> int2: 「理解し易いということは生じない」ということは成り立つ; int2 & fact4 -> int3: 理解し易いということは発生しないけれど鑑別することが起こる; int3 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({A} v ¬{B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: (¬{C} & {D}); int3 & fact1 -> hypothesis; __PROVED__