もしもその英訳文が迫り来るとすればあの部外はわりなくない
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: 「「この教育環境は図り難い一方でそれは手っ取り早くない」ということは誤っていない」ということは本当でない
void -> assump1: 以下のように仮定する。この教育環境はディフェンステクニックでないがしかし運動体だ; assump1 -> int1: この教育環境は運動体である; int1 & fact9 -> int2: この教育環境は図り難いということはないしおまけに手っ取り早くない; fact23 & fact11 -> int3: 「この教育環境は図り難くないしかつ手っ取り早くない」ということは間違いだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この教育環境はディフェンステクニックでないがしかし運動体だ」ということは間違っている; int5 & fact10 -> int6: その英訳文は黒い; void -> assump2: 以下のように仮定する。その英訳文は迫り来る; int6 & assump2 -> int7: その英訳文は黒くて更に迫り来る; int7 & fact13 -> int8: あの部外はわりなくない; [assump2] & int8 -> hypothesis;
あの部外はやくざっぽいしそれは移行し易い
fact26 -> int9: もしあの部外が手っ取り早くないとするとやくざっぽくて運動体である;
$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: 「「この教育環境は図り難い一方でそれは手っ取り早くない」ということは誤っていない」ということは本当でない ; $hypothesis$ = もしもその英訳文が迫り来るとすればあの部外はわりなくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この教育環境はディフェンステクニックでないがしかし運動体だ; assump1 -> int1: この教育環境は運動体である; int1 & fact9 -> int2: この教育環境は図り難いということはないしおまけに手っ取り早くない; fact23 & fact11 -> int3: 「この教育環境は図り難くないしかつ手っ取り早くない」ということは間違いだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この教育環境はディフェンステクニックでないがしかし運動体だ」ということは間違っている; int5 & fact10 -> int6: その英訳文は黒い; void -> assump2: 以下のように仮定する。その英訳文は迫り来る; int6 & assump2 -> int7: その英訳文は黒くて更に迫り来る; int7 & fact13 -> int8: あの部外はわりなくない; [assump2] & int8 -> 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: 「「この教育環境は図り難い一方でそれは手っ取り早くない」ということは誤っていない」ということは本当でない

仮説: もしもその英訳文が迫り来るとすればあの部外はわりなくない
1. 仮定1: 以下のように仮定する。この教育環境はディフェンステクニックでないがしかし運動体だ
2. 仮定1から、推論1: "この教育環境は運動体である"が導かれる
3. 推論1と事実9から、推論2: "この教育環境は図り難いということはないしおまけに手っ取り早くない"が導かれる
4. 事実23と事実11から、推論3: "「この教育環境は図り難くないしかつ手っ取り早くない」ということは間違いだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この教育環境はディフェンステクニックでないがしかし運動体だ」ということは間違っている"が導かれる
7. 推論5と事実10から、推論6: "その英訳文は黒い"が導かれる
8. 仮定2: 以下のように仮定する。その英訳文は迫り来る
9. 推論6と仮定2から、推論7: "その英訳文は黒くて更に迫り来る"が導かれる
10. 推論7と事実13から、推論8: "あの部外はわりなくない"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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