あの旧請求は確認し難い
fact1: 「子供らしいけれど職人組合でない」物はある fact2: 「子供らしくない」ものはあるとすれば「この仮払い金は吸収され易い」ということは事実だ fact3: この仮払い金は子供らしい fact4: もしもあの子爵が吸収され易いとすればこの仮払い金は全相だ fact5: 「「子供らしいし職人組合である」ということは成り立つということはない」物はある fact6: 「あの子爵は脱落である」ということは正しい fact7: もしもなにがしかのものが夫婦らしいけれど全相でないとしたら吸収され易くない fact8: 「もしこの仮払い金が全相であるならあの子爵は吸収され易い」ということは真実である fact9: もし仮にこの仮払い金が吸収され易いとすればあの子爵は全相である fact10: あの廃校は全相である fact11: 「その生息数は度し難くないが変更し為さる」ということは真実であるということはない fact12: この仮払い金は確認し難い fact13: 「あの旧請求は子供らしい」ということは事実と異ならない fact14: もしも「「子供らしいしおまけに職人組合でない」ということは成り立たない」物があるとするとこの仮払い金は吸収され易い fact15: 「「吸収され易いがしかし全相でない」ということは真実でない」物はある fact16: もし仮にあの子爵が全相だとすればあの旧請求は確認し難い fact17: 「「全相であるしさらに確認し難くない」ということは偽な」物はある fact18: 「「子供らしいが職人組合でない」ということは事実と異なる」物はある
fact18 & fact14 -> int1: この仮払い金は吸収され易い; int1 & fact9 -> int2: あの子爵は全相だ; int2 & fact16 -> hypothesis;
あの旧請求は確認し難くない
fact19 -> int3: もしあの旧請求が夫婦らしい一方で全相でないとすると吸収され易いということはない;
$facts$ = fact1: 「子供らしいけれど職人組合でない」物はある fact2: 「子供らしくない」ものはあるとすれば「この仮払い金は吸収され易い」ということは事実だ fact3: この仮払い金は子供らしい fact4: もしもあの子爵が吸収され易いとすればこの仮払い金は全相だ fact5: 「「子供らしいし職人組合である」ということは成り立つということはない」物はある fact6: 「あの子爵は脱落である」ということは正しい fact7: もしもなにがしかのものが夫婦らしいけれど全相でないとしたら吸収され易くない fact8: 「もしこの仮払い金が全相であるならあの子爵は吸収され易い」ということは真実である fact9: もし仮にこの仮払い金が吸収され易いとすればあの子爵は全相である fact10: あの廃校は全相である fact11: 「その生息数は度し難くないが変更し為さる」ということは真実であるということはない fact12: この仮払い金は確認し難い fact13: 「あの旧請求は子供らしい」ということは事実と異ならない fact14: もしも「「子供らしいしおまけに職人組合でない」ということは成り立たない」物があるとするとこの仮払い金は吸収され易い fact15: 「「吸収され易いがしかし全相でない」ということは真実でない」物はある fact16: もし仮にあの子爵が全相だとすればあの旧請求は確認し難い fact17: 「「全相であるしさらに確認し難くない」ということは偽な」物はある fact18: 「「子供らしいが職人組合でない」ということは事実と異なる」物はある ; $hypothesis$ = あの旧請求は確認し難い ; $proof$ = 
fact18 & fact14 -> int1: この仮払い金は吸収され易い; int1 & fact9 -> int2: あの子爵は全相だ; int2 & fact16 -> hypothesis; __PROVED__
事実1: 「子供らしいけれど職人組合でない」物はある
事実2: 「子供らしくない」ものはあるとすれば「この仮払い金は吸収され易い」ということは事実だ
事実3: この仮払い金は子供らしい
事実4: もしもあの子爵が吸収され易いとすればこの仮払い金は全相だ
事実5: 「「子供らしいし職人組合である」ということは成り立つということはない」物はある
事実6: 「あの子爵は脱落である」ということは正しい
事実7: もしもなにがしかのものが夫婦らしいけれど全相でないとしたら吸収され易くない
事実8: 「もしこの仮払い金が全相であるならあの子爵は吸収され易い」ということは真実である
事実9: もし仮にこの仮払い金が吸収され易いとすればあの子爵は全相である
事実10: あの廃校は全相である
事実11: 「その生息数は度し難くないが変更し為さる」ということは真実であるということはない
事実12: この仮払い金は確認し難い
事実13: 「あの旧請求は子供らしい」ということは事実と異ならない
事実14: もしも「「子供らしいしおまけに職人組合でない」ということは成り立たない」物があるとするとこの仮払い金は吸収され易い
事実15: 「「吸収され易いがしかし全相でない」ということは真実でない」物はある
事実16: もし仮にあの子爵が全相だとすればあの旧請求は確認し難い
事実17: 「「全相であるしさらに確認し難くない」ということは偽な」物はある
事実18: 「「子供らしいが職人組合でない」ということは事実と異なる」物はある

仮説: あの旧請求は確認し難い
1. 事実18と事実14から、推論1: "この仮払い金は吸収され易い"が導かれる
2. 推論1と事実9から、推論2: "あの子爵は全相だ"が導かれる
3. 推論2と事実16から、仮説が導かれる

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