もちゃもなLv.36事件が発生しないし重複することは起こらない
fact1: もよもいLv.69事件が起こる fact2: もよもいLv.69事件は継受することをもたらす fact3: ぽちゃぽのLv.88事件は継受することに由来する fact4: 疑わしということが起こるかあるいは物らしいということが起こるかまたは両方ともだ fact5: ぷちゃぷにLv.73事件は発生しないということはぴねぴのLv.59事件かもしくはぽちゃぽのLv.88事件かどちらもがきっかけである fact6: もしぷちゃぷにLv.73事件が発生しないとしたらもちゃもなLv.36事件が生じないしおまけに重複することは生じない
fact2 & fact1 -> int1: 「継受することが起こる」ということは事実だ; int1 & fact3 -> int2: ぽちゃぽのLv.88事件が起こる; int2 -> int3: ぴねぴのLv.59事件は発生するかぽちゃぽのLv.88事件は発生する; int3 & fact5 -> int4: ぷちゃぷにLv.73事件は起きない; int4 & fact6 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact5 -> int4: ¬{E}; int4 & fact6 -> hypothesis;
$facts$ = fact1: もよもいLv.69事件が起こる fact2: もよもいLv.69事件は継受することをもたらす fact3: ぽちゃぽのLv.88事件は継受することに由来する fact4: 疑わしということが起こるかあるいは物らしいということが起こるかまたは両方ともだ fact5: ぷちゃぷにLv.73事件は発生しないということはぴねぴのLv.59事件かもしくはぽちゃぽのLv.88事件かどちらもがきっかけである fact6: もしぷちゃぷにLv.73事件が発生しないとしたらもちゃもなLv.36事件が生じないしおまけに重複することは生じない ; $hypothesis$ = もちゃもなLv.36事件が発生しないし重複することは起こらない ; $proof$ = 
fact2 & fact1 -> int1: 「継受することが起こる」ということは事実だ; int1 & fact3 -> int2: ぽちゃぽのLv.88事件が起こる; int2 -> int3: ぴねぴのLv.59事件は発生するかぽちゃぽのLv.88事件は発生する; int3 & fact5 -> int4: ぷちゃぷにLv.73事件は起きない; int4 & fact6 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact5 -> int4: ¬{E}; int4 & fact6 -> hypothesis; __PROVED__