あの対立点は表現し難くない
fact1: もし仮にこの掘り出し物が険しかないとするとそれは滞り易いということはない一方で覚悟す fact2: この掘り出し物は滞り易くないけれど覚悟すとすれば「十年前後だ」ということは成り立つ fact3: もし仮に「明王でないがしかし十年前後な」物があるとすればそのイースト発酵は滞り易くない fact4: あの平行板コンデンサーは開け閉めしない fact5: 「何かは血脈だが明王でない」ということは本当でないならばそれは血脈でない fact6: 「もしもそのイースト発酵は険しいとすると「そのイースト発酵は覚悟す」ということは成り立つ」ということは真実である fact7: もし仮に「あの平行板コンデンサーは明王でないけど客だ」ということは事実であるとするとこの掘り出し物は客でない fact8: 仮に何らかの物が血脈でないならばそれは表現し難くてかつ客だ fact9: あの平行板コンデンサーは滞り易い fact10: この掘り出し物は客であるし更に血脈だ fact11: そのイースト発酵は滞り易いとすると「十年前後でない」ということは成り立つ fact12: あの平行板コンデンサーは十年前後だ fact13: そのイースト発酵は深い fact14: もしもとあるものは客でないとすると「それは血脈でないしまた深いということはない」ということは成り立たない fact15: 「十年前後である」ものはある fact16: 「仮に「血脈である」ものがあるとするとあの平行板コンデンサーは明王でないが十年前後だ」ということは確かである fact17: もしそのイースト発酵が覚悟す一方で滞り易いということはないならあの対立点は表現し難くない fact18: もし仮にそのイースト発酵が深い一方で血脈でないとするとこの掘り出し物は険しかない fact19: もし仮にそのイースト発酵が深いとしたらそれは険しい
fact10 -> int1: この掘り出し物は血脈だ; int1 -> int2: 「血脈である」物はある; int2 & fact16 -> int3: あの平行板コンデンサーは明王だということはないがしかし十年前後だ; int3 -> int4: 「「明王でないしさらに十年前後な」物はある」ということは本当である; int4 & fact3 -> int5: そのイースト発酵は滞り易くない; fact13 & fact19 -> int6: そのイースト発酵は険しい; fact6 & int6 -> int7: そのイースト発酵は覚悟す; int5 & int7 -> int8: そのイースト発酵は覚悟すけど滞り易くない; int8 & fact17 -> hypothesis;
あの対立点は表現し難い
fact23 -> int9: 仮に「あの対立点は血脈であるということはない」ということは事実だとしたら表現し難いし加えてそれは客だ; fact21 -> int10: もし仮に「「あの対立点は血脈であるが明王でない」ということは真実だ」ということは誤っているとするとそれは血脈でない;
$facts$ = fact1: もし仮にこの掘り出し物が険しかないとするとそれは滞り易いということはない一方で覚悟す fact2: この掘り出し物は滞り易くないけれど覚悟すとすれば「十年前後だ」ということは成り立つ fact3: もし仮に「明王でないがしかし十年前後な」物があるとすればそのイースト発酵は滞り易くない fact4: あの平行板コンデンサーは開け閉めしない fact5: 「何かは血脈だが明王でない」ということは本当でないならばそれは血脈でない fact6: 「もしもそのイースト発酵は険しいとすると「そのイースト発酵は覚悟す」ということは成り立つ」ということは真実である fact7: もし仮に「あの平行板コンデンサーは明王でないけど客だ」ということは事実であるとするとこの掘り出し物は客でない fact8: 仮に何らかの物が血脈でないならばそれは表現し難くてかつ客だ fact9: あの平行板コンデンサーは滞り易い fact10: この掘り出し物は客であるし更に血脈だ fact11: そのイースト発酵は滞り易いとすると「十年前後でない」ということは成り立つ fact12: あの平行板コンデンサーは十年前後だ fact13: そのイースト発酵は深い fact14: もしもとあるものは客でないとすると「それは血脈でないしまた深いということはない」ということは成り立たない fact15: 「十年前後である」ものはある fact16: 「仮に「血脈である」ものがあるとするとあの平行板コンデンサーは明王でないが十年前後だ」ということは確かである fact17: もしそのイースト発酵が覚悟す一方で滞り易いということはないならあの対立点は表現し難くない fact18: もし仮にそのイースト発酵が深い一方で血脈でないとするとこの掘り出し物は険しかない fact19: もし仮にそのイースト発酵が深いとしたらそれは険しい ; $hypothesis$ = あの対立点は表現し難くない ; $proof$ = 
fact10 -> int1: この掘り出し物は血脈だ; int1 -> int2: 「血脈である」物はある; int2 & fact16 -> int3: あの平行板コンデンサーは明王だということはないがしかし十年前後だ; int3 -> int4: 「「明王でないしさらに十年前後な」物はある」ということは本当である; int4 & fact3 -> int5: そのイースト発酵は滞り易くない; fact13 & fact19 -> int6: そのイースト発酵は険しい; fact6 & int6 -> int7: そのイースト発酵は覚悟す; int5 & int7 -> int8: そのイースト発酵は覚悟すけど滞り易くない; int8 & fact17 -> hypothesis; __PROVED__
事実1: もし仮にこの掘り出し物が険しかないとするとそれは滞り易いということはない一方で覚悟す
事実2: この掘り出し物は滞り易くないけれど覚悟すとすれば「十年前後だ」ということは成り立つ
事実3: もし仮に「明王でないがしかし十年前後な」物があるとすればそのイースト発酵は滞り易くない
事実4: あの平行板コンデンサーは開け閉めしない
事実5: 「何かは血脈だが明王でない」ということは本当でないならばそれは血脈でない
事実6: 「もしもそのイースト発酵は険しいとすると「そのイースト発酵は覚悟す」ということは成り立つ」ということは真実である
事実7: もし仮に「あの平行板コンデンサーは明王でないけど客だ」ということは事実であるとするとこの掘り出し物は客でない
事実8: 仮に何らかの物が血脈でないならばそれは表現し難くてかつ客だ
事実9: あの平行板コンデンサーは滞り易い
事実10: この掘り出し物は客であるし更に血脈だ
事実11: そのイースト発酵は滞り易いとすると「十年前後でない」ということは成り立つ
事実12: あの平行板コンデンサーは十年前後だ
事実13: そのイースト発酵は深い
事実14: もしもとあるものは客でないとすると「それは血脈でないしまた深いということはない」ということは成り立たない
事実15: 「十年前後である」ものはある
事実16: 「仮に「血脈である」ものがあるとするとあの平行板コンデンサーは明王でないが十年前後だ」ということは確かである
事実17: もしそのイースト発酵が覚悟す一方で滞り易いということはないならあの対立点は表現し難くない
事実18: もし仮にそのイースト発酵が深い一方で血脈でないとするとこの掘り出し物は険しかない
事実19: もし仮にそのイースト発酵が深いとしたらそれは険しい

仮説: あの対立点は表現し難くない
1. 事実10から、推論1: "この掘り出し物は血脈だ"が導かれる
2. 推論1から、推論2: "「血脈である」物はある"が導かれる
3. 推論2と事実16から、推論3: "あの平行板コンデンサーは明王だということはないがしかし十年前後だ"が導かれる
4. 推論3から、推論4: "「「明王でないしさらに十年前後な」物はある」ということは本当である"が導かれる
5. 推論4と事実3から、推論5: "そのイースト発酵は滞り易くない"が導かれる
6. 事実13と事実19から、推論6: "そのイースト発酵は険しい"が導かれる
7. 事実6と推論6から、推論7: "そのイースト発酵は覚悟す"が導かれる
8. 推論5と推論7から、推論8: "そのイースト発酵は覚悟すけど滞り易くない"が導かれる
9. 推論8と事実17から、仮説が導かれる

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