ぴなぴいLv.61事件は発生しない
fact1: 話し難いということはみねみよLv.22事件により発生する fact2: たどたどしいということは話し難いということを招く fact3: 「ばら蒔くことと上り易いということが生じる」ということは嘘なら上り易いということは起こらない fact4: 上り易いということが起こる fact5: 「たどたどしいということが起きるし話し難いということが起きる」ということは上り易いということは起きないということがきっかけだ fact6: みねみよLv.22事件かもしくはたどたどしいということかまたはどちらもが生じる fact7: ぴなぴいLv.61事件が生じないということは「上り易いということと話し難いということ両方ともが発生する」ということは契機だ fact8: たどたどしいということは「みねみよLv.22事件は生じないしぴなぴいLv.61事件が起きる」ということをもたらす
fact6 & fact1 & fact2 -> int1: 話し難いということが起きる; int1 & fact4 -> int2: 上り易いということが生じるししかも話し難いということが起こる; int2 & fact7 -> hypothesis;
fact6 & fact1 & fact2 -> int1: {C}; int1 & fact4 -> int2: ({D} & {C}); int2 & fact7 -> hypothesis;
ぴなぴいLv.61事件が起きる
$facts$ = fact1: 話し難いということはみねみよLv.22事件により発生する fact2: たどたどしいということは話し難いということを招く fact3: 「ばら蒔くことと上り易いということが生じる」ということは嘘なら上り易いということは起こらない fact4: 上り易いということが起こる fact5: 「たどたどしいということが起きるし話し難いということが起きる」ということは上り易いということは起きないということがきっかけだ fact6: みねみよLv.22事件かもしくはたどたどしいということかまたはどちらもが生じる fact7: ぴなぴいLv.61事件が生じないということは「上り易いということと話し難いということ両方ともが発生する」ということは契機だ fact8: たどたどしいということは「みねみよLv.22事件は生じないしぴなぴいLv.61事件が起きる」ということをもたらす ; $hypothesis$ = ぴなぴいLv.61事件は発生しない ; $proof$ = 
fact6 & fact1 & fact2 -> int1: 話し難いということが起きる; int1 & fact4 -> int2: 上り易いということが生じるししかも話し難いということが起こる; int2 & fact7 -> hypothesis; __PROVED__
fact6 & fact1 & fact2 -> int1: {C}; int1 & fact4 -> int2: ({D} & {C}); int2 & fact7 -> hypothesis; __PROVED__