由々しということは生じない
fact1: 「首尾良いということは生じない」ということは「作り易いということは発生しない」ということに阻止される fact2: 作り易いということは発生しない fact3: たどたどしいということかあるいはぷわぷいLv.41事件かどちらもは「由々しということが発生する」ということを回避する fact4: 惨めったらしいということは生じない fact5: もし仮に作り易いということは生じないとしたら首尾良いということおよびたどたどしいということ両方が起きる fact6: 「みゆみなLv.18事件が発生する」ということは「みちゃみにゃLv.31事件は生じない」ということにより発生する
fact5 & fact2 -> int1: 「首尾良いということが生じるししかもたどたどしいということが起きる」ということは真実だ; int1 -> int2: たどたどしいということが生じる; int2 -> int3: たどたどしいということかぷわぷいLv.41事件か両方が生じる; int3 & fact3 -> hypothesis;
fact5 & fact2 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 -> int3: ({B} v {C}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 「首尾良いということは生じない」ということは「作り易いということは発生しない」ということに阻止される fact2: 作り易いということは発生しない fact3: たどたどしいということかあるいはぷわぷいLv.41事件かどちらもは「由々しということが発生する」ということを回避する fact4: 惨めったらしいということは生じない fact5: もし仮に作り易いということは生じないとしたら首尾良いということおよびたどたどしいということ両方が起きる fact6: 「みゆみなLv.18事件が発生する」ということは「みちゃみにゃLv.31事件は生じない」ということにより発生する ; $hypothesis$ = 由々しということは生じない ; $proof$ = 
fact5 & fact2 -> int1: 「首尾良いということが生じるししかもたどたどしいということが起きる」ということは真実だ; int1 -> int2: たどたどしいということが生じる; int2 -> int3: たどたどしいということかぷわぷいLv.41事件か両方が生じる; int3 & fact3 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 -> int3: ({B} v {C}); int3 & fact3 -> hypothesis; __PROVED__