ぴにょぴくLv.3事件は発生しない
fact1: まやまゆLv.87事件が生じる fact2: 再版することが生じればぴにょぴくLv.3事件が起きるかもちゅもえLv.56事件は起きないかあるいは両方ともである fact3: 対応し易いということはみみっちいということが発生するということをもたらす fact4: 「商人らしいということは起こらなくてかつ父親らしいということは生じない」ということは集め捲ることを回避する fact5: 「集め捲ることは生じない」ということは「みにゃみにょLv.79事件および再版すること両方が起きる」ということを招く fact6: まやまゆLv.87事件およびみみっちいということが発生するは煩いということが起こるということを回避する fact7: みちょみちょLv.55事件は発生しないとすれば「煩いということおよびまやまゆLv.87事件どちらもが発生する」ということは成り立たない fact8: 対応し易いということが生じる fact9: 煩いということは起こらないということは「みちょみちょLv.55事件が発生しないかもしくはもちゅもえLv.56事件は生じないかあるいは両方である」ということを引き起こす fact10: もし仮にみちょみちょLv.55事件が発生しないかまたはもちゅもえLv.56事件は生じないかあるいは両方ともだとしたらぴにょぴくLv.3事件が起こる
fact3 & fact8 -> int1: みみっちいということが発生する; int1 & fact1 -> int2: まやまゆLv.87事件が起きるしかつみみっちいということが発生する; int2 & fact6 -> int3: 「煩いということは起こらない」ということは成り立つ; int3 & fact9 -> int4: みちょみちょLv.55事件が起こらないかもしくはもちゅもえLv.56事件は発生しないかどちらもだ; int4 & fact10 -> hypothesis;
fact3 & fact8 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact6 -> int3: ¬{D}; int3 & fact9 -> int4: (¬{E} v ¬{F}); int4 & fact10 -> hypothesis;
古しということは起こらない
$facts$ = fact1: まやまゆLv.87事件が生じる fact2: 再版することが生じればぴにょぴくLv.3事件が起きるかもちゅもえLv.56事件は起きないかあるいは両方ともである fact3: 対応し易いということはみみっちいということが発生するということをもたらす fact4: 「商人らしいということは起こらなくてかつ父親らしいということは生じない」ということは集め捲ることを回避する fact5: 「集め捲ることは生じない」ということは「みにゃみにょLv.79事件および再版すること両方が起きる」ということを招く fact6: まやまゆLv.87事件およびみみっちいということが発生するは煩いということが起こるということを回避する fact7: みちょみちょLv.55事件は発生しないとすれば「煩いということおよびまやまゆLv.87事件どちらもが発生する」ということは成り立たない fact8: 対応し易いということが生じる fact9: 煩いということは起こらないということは「みちょみちょLv.55事件が発生しないかもしくはもちゅもえLv.56事件は生じないかあるいは両方である」ということを引き起こす fact10: もし仮にみちょみちょLv.55事件が発生しないかまたはもちゅもえLv.56事件は生じないかあるいは両方ともだとしたらぴにょぴくLv.3事件が起こる ; $hypothesis$ = ぴにょぴくLv.3事件は発生しない ; $proof$ = 
fact3 & fact8 -> int1: みみっちいということが発生する; int1 & fact1 -> int2: まやまゆLv.87事件が起きるしかつみみっちいということが発生する; int2 & fact6 -> int3: 「煩いということは起こらない」ということは成り立つ; int3 & fact9 -> int4: みちょみちょLv.55事件が起こらないかもしくはもちゅもえLv.56事件は発生しないかどちらもだ; int4 & fact10 -> hypothesis; __DISPROVED__
fact3 & fact8 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact6 -> int3: ¬{D}; int3 & fact9 -> int4: (¬{E} v ¬{F}); int4 & fact10 -> hypothesis; __DISPROVED__