その港湾整備は抗し難い
fact1: もしあるものが戻り易いならばこの花蜂類は楽し fact2: 「「楽しないが取り易い」ということは成り立たない」物はあるとすれば「あの自主努力は摘み上げる」ということは事実だ fact3: 仮にこのブラウンフィールドが疎いとすればあの自主努力は戻り易い fact4: 「この物実は戻り易いし拮抗する」ということは成り立つということはない fact5: それは楽しないが取り易いというものはない fact6: あの自主努力は西ヨーロッパ諸国である fact7: もし「とあるものは抗し難いけどそれは摘み上げない」ということは確かだということはないなら「それは抗し難くない」ということは真実だ fact8: この計測値は手酷い fact9: 「「楽ししおまけに取り易い」ということは間違っている」ものはある fact10: 仮になにがしかのものが摘み上げるかもしくは疎いとしたらこのブラウンフィールドは戻り易い fact11: もしこの物実が拮抗するとすればその港湾整備は抗し難い fact12: 仮にこのブラウンフィールドが戻り易いならばこの物実は拮抗する
fact5 -> int1: 「この花蜂類は楽しないけれど取り易い」ということは偽である; int1 -> int2: 「「楽しないしおまけに取り易い」ということは偽である」ものはある; int2 & fact2 -> int3: 「あの自主努力は摘み上げる」ということは成り立つ; int3 -> int4: あの自主努力は摘み上げるかまたは疎いかあるいはどちらもである; int4 -> int5: 「摘み上げるかもしくは疎い」ものはある; int5 & fact10 -> int6: このブラウンフィールドは戻り易い; int6 & fact12 -> int7: この物実は拮抗する; int7 & fact11 -> hypothesis;
その港湾整備は抗し難くない
fact13 -> int8: もしも「その港湾整備は抗し難いけれど摘み上げるということはない」ということは間違っているとするとそれは抗し難くない;
$facts$ = fact1: もしあるものが戻り易いならばこの花蜂類は楽し fact2: 「「楽しないが取り易い」ということは成り立たない」物はあるとすれば「あの自主努力は摘み上げる」ということは事実だ fact3: 仮にこのブラウンフィールドが疎いとすればあの自主努力は戻り易い fact4: 「この物実は戻り易いし拮抗する」ということは成り立つということはない fact5: それは楽しないが取り易いというものはない fact6: あの自主努力は西ヨーロッパ諸国である fact7: もし「とあるものは抗し難いけどそれは摘み上げない」ということは確かだということはないなら「それは抗し難くない」ということは真実だ fact8: この計測値は手酷い fact9: 「「楽ししおまけに取り易い」ということは間違っている」ものはある fact10: 仮になにがしかのものが摘み上げるかもしくは疎いとしたらこのブラウンフィールドは戻り易い fact11: もしこの物実が拮抗するとすればその港湾整備は抗し難い fact12: 仮にこのブラウンフィールドが戻り易いならばこの物実は拮抗する ; $hypothesis$ = その港湾整備は抗し難い ; $proof$ = 
fact5 -> int1: 「この花蜂類は楽しないけれど取り易い」ということは偽である; int1 -> int2: 「「楽しないしおまけに取り易い」ということは偽である」ものはある; int2 & fact2 -> int3: 「あの自主努力は摘み上げる」ということは成り立つ; int3 -> int4: あの自主努力は摘み上げるかまたは疎いかあるいはどちらもである; int4 -> int5: 「摘み上げるかもしくは疎い」ものはある; int5 & fact10 -> int6: このブラウンフィールドは戻り易い; int6 & fact12 -> int7: この物実は拮抗する; int7 & fact11 -> hypothesis; __PROVED__
事実1: もしあるものが戻り易いならばこの花蜂類は楽し
事実2: 「「楽しないが取り易い」ということは成り立たない」物はあるとすれば「あの自主努力は摘み上げる」ということは事実だ
事実3: 仮にこのブラウンフィールドが疎いとすればあの自主努力は戻り易い
事実4: 「この物実は戻り易いし拮抗する」ということは成り立つということはない
事実5: それは楽しないが取り易いというものはない
事実6: あの自主努力は西ヨーロッパ諸国である
事実7: もし「とあるものは抗し難いけどそれは摘み上げない」ということは確かだということはないなら「それは抗し難くない」ということは真実だ
事実8: この計測値は手酷い
事実9: 「「楽ししおまけに取り易い」ということは間違っている」ものはある
事実10: 仮になにがしかのものが摘み上げるかもしくは疎いとしたらこのブラウンフィールドは戻り易い
事実11: もしこの物実が拮抗するとすればその港湾整備は抗し難い
事実12: 仮にこのブラウンフィールドが戻り易いならばこの物実は拮抗する

仮説: その港湾整備は抗し難い
1. 事実5から、推論1: "「この花蜂類は楽しないけれど取り易い」ということは偽である"が導かれる
2. 推論1から、推論2: "「「楽しないしおまけに取り易い」ということは偽である」ものはある"が導かれる
3. 推論2と事実2から、推論3: "「あの自主努力は摘み上げる」ということは成り立つ"が導かれる
4. 推論3から、推論4: "あの自主努力は摘み上げるかまたは疎いかあるいはどちらもである"が導かれる
5. 推論4から、推論5: "「摘み上げるかもしくは疎い」ものはある"が導かれる
6. 推論5と事実10から、推論6: "このブラウンフィールドは戻り易い"が導かれる
7. 推論6と事実12から、推論7: "この物実は拮抗する"が導かれる
8. 推論7と事実11から、仮説が導かれる

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