その下請け業務は織り込む
fact1: 仮にあのピクルスが織り込まないならばその下請け業務は織り込むしその上不完全性である fact2: もし仮に「そそっかしくない」物があるとすればこの優生学は指導書だ fact3: もしもあのピクルスが十名以上でないならこの左中間は織り込まない fact4: もし仮にこの左中間が十名以上ならばこの招待客は提起出来るか美術品でない fact5: その下請け業務は不完全性である fact6: この招待客は提起出来るかそれは美術品であるかまたは両方である fact7: この優生学は十名以上だ fact8: もし仮にこの招待客が織り込むかまたはそれが美術品でないかあるいは両方ともだとしたらその下請け業務は提起出来ない fact9: この招待客が提起出来るかあるいは美術品でないとすればあのピクルスは織り込まない fact10: この優生学は不完全性であるかあるいは指導書であるかあるいは両方ともである fact11: 「もしもあのピクルスが指導書であるか提起出来ないかまたはどちらもならこの招待客は織り込まない」ということは成り立つ fact12: もしその下請け業務が提起出来ないとするとこの招待客は提起出来るし更にそれは不完全性である fact13: この優生学は織り込むかそれは指導書でないかあるいは両方である fact14: この招待客が織り込まないとすればその下請け業務は美術品である fact15: 「そそっかしい」ものはある fact16: もしあのピクルスが織り込まないとするとその下請け業務は不完全性だ fact17: もし仮にこの優生学が美術品だとすればあの左中間は美術品だ fact18: 仮にこの招待客が織り込むかあるいは美術品だということはないならばあのピクルスは提起出来ない fact19: もしも何かは十名以上でないとすると「指導書だしその上そそっかしい」ということは成り立つということはない fact20: もしも「この優生学は指導書だ」ということは真実だとすればこの左中間は十名以上だ fact21: 「「そそっかしくない」ということは成り立つ」物はある fact22: この小頭は織り込む fact23: あのピクルスは十名以上だ fact24: その下請け業務は理解し難くない fact25: 仮にこの招待客が美術品であるということはないとするとあのピクルスは織り込まない fact26: この左中間が十名以上だとするとこの招待客は提起出来るか美術品であるかまたは両方ともである
fact21 & fact2 -> int1: この優生学は指導書である; int1 & fact20 -> int2: この左中間は十名以上だ; int2 & fact4 -> int3: この招待客は提起出来るかあるいは美術品でない; int3 & fact9 -> int4: あのピクルスは織り込まない; int4 & fact1 -> int5: その下請け業務は織り込むしそれに不完全性である; int5 -> hypothesis;
この左中間は美術品だ
$facts$ = fact1: 仮にあのピクルスが織り込まないならばその下請け業務は織り込むしその上不完全性である fact2: もし仮に「そそっかしくない」物があるとすればこの優生学は指導書だ fact3: もしもあのピクルスが十名以上でないならこの左中間は織り込まない fact4: もし仮にこの左中間が十名以上ならばこの招待客は提起出来るか美術品でない fact5: その下請け業務は不完全性である fact6: この招待客は提起出来るかそれは美術品であるかまたは両方である fact7: この優生学は十名以上だ fact8: もし仮にこの招待客が織り込むかまたはそれが美術品でないかあるいは両方ともだとしたらその下請け業務は提起出来ない fact9: この招待客が提起出来るかあるいは美術品でないとすればあのピクルスは織り込まない fact10: この優生学は不完全性であるかあるいは指導書であるかあるいは両方ともである fact11: 「もしもあのピクルスが指導書であるか提起出来ないかまたはどちらもならこの招待客は織り込まない」ということは成り立つ fact12: もしその下請け業務が提起出来ないとするとこの招待客は提起出来るし更にそれは不完全性である fact13: この優生学は織り込むかそれは指導書でないかあるいは両方である fact14: この招待客が織り込まないとすればその下請け業務は美術品である fact15: 「そそっかしい」ものはある fact16: もしあのピクルスが織り込まないとするとその下請け業務は不完全性だ fact17: もし仮にこの優生学が美術品だとすればあの左中間は美術品だ fact18: 仮にこの招待客が織り込むかあるいは美術品だということはないならばあのピクルスは提起出来ない fact19: もしも何かは十名以上でないとすると「指導書だしその上そそっかしい」ということは成り立つということはない fact20: もしも「この優生学は指導書だ」ということは真実だとすればこの左中間は十名以上だ fact21: 「「そそっかしくない」ということは成り立つ」物はある fact22: この小頭は織り込む fact23: あのピクルスは十名以上だ fact24: その下請け業務は理解し難くない fact25: 仮にこの招待客が美術品であるということはないとするとあのピクルスは織り込まない fact26: この左中間が十名以上だとするとこの招待客は提起出来るか美術品であるかまたは両方ともである ; $hypothesis$ = その下請け業務は織り込む ; $proof$ = 
fact21 & fact2 -> int1: この優生学は指導書である; int1 & fact20 -> int2: この左中間は十名以上だ; int2 & fact4 -> int3: この招待客は提起出来るかあるいは美術品でない; int3 & fact9 -> int4: あのピクルスは織り込まない; int4 & fact1 -> int5: その下請け業務は織り込むしそれに不完全性である; int5 -> hypothesis; __PROVED__
事実1: 仮にあのピクルスが織り込まないならばその下請け業務は織り込むしその上不完全性である
事実2: もし仮に「そそっかしくない」物があるとすればこの優生学は指導書だ
事実3: もしもあのピクルスが十名以上でないならこの左中間は織り込まない
事実4: もし仮にこの左中間が十名以上ならばこの招待客は提起出来るか美術品でない
事実5: その下請け業務は不完全性である
事実6: この招待客は提起出来るかそれは美術品であるかまたは両方である
事実7: この優生学は十名以上だ
事実8: もし仮にこの招待客が織り込むかまたはそれが美術品でないかあるいは両方ともだとしたらその下請け業務は提起出来ない
事実9: この招待客が提起出来るかあるいは美術品でないとすればあのピクルスは織り込まない
事実10: この優生学は不完全性であるかあるいは指導書であるかあるいは両方ともである
事実11: 「もしもあのピクルスが指導書であるか提起出来ないかまたはどちらもならこの招待客は織り込まない」ということは成り立つ
事実12: もしその下請け業務が提起出来ないとするとこの招待客は提起出来るし更にそれは不完全性である
事実13: この優生学は織り込むかそれは指導書でないかあるいは両方である
事実14: この招待客が織り込まないとすればその下請け業務は美術品である
事実15: 「そそっかしい」ものはある
事実16: もしあのピクルスが織り込まないとするとその下請け業務は不完全性だ
事実17: もし仮にこの優生学が美術品だとすればあの左中間は美術品だ
事実18: 仮にこの招待客が織り込むかあるいは美術品だということはないならばあのピクルスは提起出来ない
事実19: もしも何かは十名以上でないとすると「指導書だしその上そそっかしい」ということは成り立つということはない
事実20: もしも「この優生学は指導書だ」ということは真実だとすればこの左中間は十名以上だ
事実21: 「「そそっかしくない」ということは成り立つ」物はある
事実22: この小頭は織り込む
事実23: あのピクルスは十名以上だ
事実24: その下請け業務は理解し難くない
事実25: 仮にこの招待客が美術品であるということはないとするとあのピクルスは織り込まない
事実26: この左中間が十名以上だとするとこの招待客は提起出来るか美術品であるかまたは両方ともである

仮説: その下請け業務は織り込む
1. 事実21と事実2から、推論1: "この優生学は指導書である"が導かれる
2. 推論1と事実20から、推論2: "この左中間は十名以上だ"が導かれる
3. 推論2と事実4から、推論3: "この招待客は提起出来るかあるいは美術品でない"が導かれる
4. 推論3と事実9から、推論4: "あのピクルスは織り込まない"が導かれる
5. 推論4と事実1から、推論5: "その下請け業務は織り込むしそれに不完全性である"が導かれる
6. 推論5から、仮説が導かれる

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