その血文字は生成し易い
fact1: あのダイヤルトーンは指摘出来るということはない fact2: あのダイヤルトーンは馴染み難いけれど指摘出来るということはない fact3: もしもある物が再検討しないかまたはそれは九十年当時でないかあるいは両方ならば生成し易い fact4: もしもその血文字が鋳ないとしたらあのダイヤルトーンは生成し易いし極まりない fact5: この印象付けは指摘出来ない fact6: 仮にとある物が再検討しないならばそれは生成し易い fact7: もしあのダイヤルトーンが馴染み難いけれど指摘出来ないとするとその血文字は九十年当時でない fact8: もしその血文字が再検討しないとすればそれは生成し易い fact9: 仮にあるものは生成し易いとすると「再検討するということはないししかもそれは九十年当時である」ということは誤りである
fact7 & fact2 -> int1: その血文字は九十年当時だということはない; int1 -> int2: その血文字は再検討しないかもしくは九十年当時でないかどちらもだ; fact3 -> int3: もしもその血文字は再検討しないか九十年当時でないかまたは両方ともであるとすればそれは生成し易い; int2 & int3 -> hypothesis;
あの養女は馴染み難くない
fact11 -> int4: もし仮にあのダイヤルトーンは生成し易いとすると「それは再検討しないがしかし九十年当時だ」ということは成り立たない;
$facts$ = fact1: あのダイヤルトーンは指摘出来るということはない fact2: あのダイヤルトーンは馴染み難いけれど指摘出来るということはない fact3: もしもある物が再検討しないかまたはそれは九十年当時でないかあるいは両方ならば生成し易い fact4: もしもその血文字が鋳ないとしたらあのダイヤルトーンは生成し易いし極まりない fact5: この印象付けは指摘出来ない fact6: 仮にとある物が再検討しないならばそれは生成し易い fact7: もしあのダイヤルトーンが馴染み難いけれど指摘出来ないとするとその血文字は九十年当時でない fact8: もしその血文字が再検討しないとすればそれは生成し易い fact9: 仮にあるものは生成し易いとすると「再検討するということはないししかもそれは九十年当時である」ということは誤りである ; $hypothesis$ = その血文字は生成し易い ; $proof$ = 
fact7 & fact2 -> int1: その血文字は九十年当時だということはない; int1 -> int2: その血文字は再検討しないかもしくは九十年当時でないかどちらもだ; fact3 -> int3: もしもその血文字は再検討しないか九十年当時でないかまたは両方ともであるとすればそれは生成し易い; int2 & int3 -> hypothesis; __PROVED__
事実1: あのダイヤルトーンは指摘出来るということはない
事実2: あのダイヤルトーンは馴染み難いけれど指摘出来るということはない
事実3: もしもある物が再検討しないかまたはそれは九十年当時でないかあるいは両方ならば生成し易い
事実4: もしもその血文字が鋳ないとしたらあのダイヤルトーンは生成し易いし極まりない
事実5: この印象付けは指摘出来ない
事実6: 仮にとある物が再検討しないならばそれは生成し易い
事実7: もしあのダイヤルトーンが馴染み難いけれど指摘出来ないとするとその血文字は九十年当時でない
事実8: もしその血文字が再検討しないとすればそれは生成し易い
事実9: 仮にあるものは生成し易いとすると「再検討するということはないししかもそれは九十年当時である」ということは誤りである

仮説: その血文字は生成し易い
1. 事実7と事実2から、推論1: "その血文字は九十年当時だということはない"が導かれる
2. 推論1から、推論2: "その血文字は再検討しないかもしくは九十年当時でないかどちらもだ"が導かれる
3. 事実3から、推論3: "もしもその血文字は再検討しないか九十年当時でないかまたは両方ともであるとすればそれは生成し易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。