「その二年先は付保する」ということは成り立つとしたらあの農業集落は考え難いということはない一方できな臭い
fact1: もしその二年先が環境影響でないとしたらあの農業集落は付保しないかまたはなあくないか両方ともである fact2: この空港は沿えるない fact3: もしもこのパリサイ人達が環境影響ならそれは意義深い fact4: その二年先が付保するとすればこのパリサイ人達は環境影響である fact5: もしあの農業集落が青いということはないとすればそれは考え難くない fact6: もしもこのパリサイ人達は青いとしたら「あの農業集落は意義深い」ということは事実である fact7: あの農業集落は沿えるないかあるいは青いかあるいは両方ともである fact8: 仮にこのパリサイ人達が意義深いとしたらあの農業集落はきな臭い fact9: もし仮にあの農業集落は沿えるということはないか青くないか両方ともだとしたら考え難くない fact10: もしなんらかのものが考え難いならきな臭い fact11: きな臭い物は環境影響でないけれど意義深い fact12: あの農業集落は沿えるということはないかまたはそれは青くない fact13: もし仮にその二年先が意義深いということはないならばこの事業部門は環境影響であるしかつ付保する fact14: 青くないしおまけに浅ましない物はない fact15: 「なにかは青くないし浅ましない」ということは偽だとすればそれは青い
void -> assump1: 以下のように仮定する。その二年先は付保する; fact4 & assump1 -> int1: このパリサイ人達は環境影響である; int1 & fact3 -> int2: このパリサイ人達は意義深い; int2 & fact8 -> int3: あの農業集落はきな臭い; fact12 & fact9 -> int4: あの農業集落は考え難くない; int3 & int4 -> int5: あの農業集落は考え難くないがそれはきな臭い; [assump1] & int5 -> hypothesis;
あの農業集落は付保しないかまたはそれはなあくないかもしくは両方だ
fact18 -> int6: もし仮にこのパリサイ人達がきな臭いならば環境影響でなくておまけに意義深い; fact20 -> int7: もしこのパリサイ人達が考え難いとするときな臭い; fact16 -> int8: 「このパリサイ人達は青くないし浅ましない」ということは偽だ; fact19 -> int9: もし「このパリサイ人達は青くないしさらに浅ましない」ということは事実と異なるとすると青い; int8 & int9 -> int10: このパリサイ人達は青い;
$facts$ = fact1: もしその二年先が環境影響でないとしたらあの農業集落は付保しないかまたはなあくないか両方ともである fact2: この空港は沿えるない fact3: もしもこのパリサイ人達が環境影響ならそれは意義深い fact4: その二年先が付保するとすればこのパリサイ人達は環境影響である fact5: もしあの農業集落が青いということはないとすればそれは考え難くない fact6: もしもこのパリサイ人達は青いとしたら「あの農業集落は意義深い」ということは事実である fact7: あの農業集落は沿えるないかあるいは青いかあるいは両方ともである fact8: 仮にこのパリサイ人達が意義深いとしたらあの農業集落はきな臭い fact9: もし仮にあの農業集落は沿えるということはないか青くないか両方ともだとしたら考え難くない fact10: もしなんらかのものが考え難いならきな臭い fact11: きな臭い物は環境影響でないけれど意義深い fact12: あの農業集落は沿えるということはないかまたはそれは青くない fact13: もし仮にその二年先が意義深いということはないならばこの事業部門は環境影響であるしかつ付保する fact14: 青くないしおまけに浅ましない物はない fact15: 「なにかは青くないし浅ましない」ということは偽だとすればそれは青い ; $hypothesis$ = 「その二年先は付保する」ということは成り立つとしたらあの農業集落は考え難いということはない一方できな臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。その二年先は付保する; fact4 & assump1 -> int1: このパリサイ人達は環境影響である; int1 & fact3 -> int2: このパリサイ人達は意義深い; int2 & fact8 -> int3: あの農業集落はきな臭い; fact12 & fact9 -> int4: あの農業集落は考え難くない; int3 & int4 -> int5: あの農業集落は考え難くないがそれはきな臭い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしその二年先が環境影響でないとしたらあの農業集落は付保しないかまたはなあくないか両方ともである
事実2: この空港は沿えるない
事実3: もしもこのパリサイ人達が環境影響ならそれは意義深い
事実4: その二年先が付保するとすればこのパリサイ人達は環境影響である
事実5: もしあの農業集落が青いということはないとすればそれは考え難くない
事実6: もしもこのパリサイ人達は青いとしたら「あの農業集落は意義深い」ということは事実である
事実7: あの農業集落は沿えるないかあるいは青いかあるいは両方ともである
事実8: 仮にこのパリサイ人達が意義深いとしたらあの農業集落はきな臭い
事実9: もし仮にあの農業集落は沿えるということはないか青くないか両方ともだとしたら考え難くない
事実10: もしなんらかのものが考え難いならきな臭い
事実11: きな臭い物は環境影響でないけれど意義深い
事実12: あの農業集落は沿えるということはないかまたはそれは青くない
事実13: もし仮にその二年先が意義深いということはないならばこの事業部門は環境影響であるしかつ付保する
事実14: 青くないしおまけに浅ましない物はない
事実15: 「なにかは青くないし浅ましない」ということは偽だとすればそれは青い

仮説: 「その二年先は付保する」ということは成り立つとしたらあの農業集落は考え難いということはない一方できな臭い
1. 仮定1: 以下のように仮定する。その二年先は付保する
2. 事実4と仮定1から、推論1: "このパリサイ人達は環境影響である"が導かれる
3. 推論1と事実3から、推論2: "このパリサイ人達は意義深い"が導かれる
4. 推論2と事実8から、推論3: "あの農業集落はきな臭い"が導かれる
5. 事実12と事実9から、推論4: "あの農業集落は考え難くない"が導かれる
6. 推論3と推論4から、推論5: "あの農業集落は考え難くないがそれはきな臭い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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