その一元管理は味わい深い
fact1: もし「あの空軍は管理権限である」ということは成り立つとすればそれは憎々しい fact2: 電線類地中化は腎性である fact3: その一元管理はゼロコスト・オプションであるしそれは電線類地中化だ fact4: もし仮に「その着手予定日は二球団だということはなくて更に闊歩するということはない」ということは嘘ならばこの当事者等は二球団でない fact5: 仮に憎々しくないものは管理権限でないとすると「電線類地中化だ」ということは正しい fact6: もしある物は通り易くないとすれば「それは何気無くてかつ選進する」ということは成り立つということはない fact7: もしなんらかのものは腎性であるならばそれは味わい深い fact8: もし仮にその一元管理が電線類地中化だけれどそれがゼロコスト・オプションでないならあの鉄塊は汚らわしい fact9: 「ゼロコスト・オプションは電線類地中化だ」ということは成り立つ fact10: 「あの空軍は腎性でないしさらに味わい深くない」ということは誤っているならあの鉄塊は腎性である fact11: 「その陥没は通り易い一方で表現し難くない」ということは偽だ fact12: 「その御人は大書する」ということは成り立つ fact13: もしこの被保険者証等が疎ましかないならその着手予定日は資本持分でなくてそれにどでかいということはない fact14: その御人は大書するとすると「それは疎ましいということはない一方で切り易い」ということは嘘である fact15: もしも何らかのものは憎々しいなら「腎性でないし更に味わい深くない」ということは嘘である fact16: もし「この当事者等は心行くしそれにそれは旅先である」ということは成り立たないなら「それは心行かない」ということは成り立つ fact17: もし仮に「その御人は疎ましくらない一方で切り易い」ということは成り立たないならば「この被保険者証等は疎ましくらない」ということは確かである fact18: もし仮に「なんらかのものは何気無いし選進する」ということは誤っていればそれは旅先でない fact19: もしこの当事者等が二球団でないならあの空軍は憎々しくないしさらに管理権限でない fact20: もしも「何らかの物は資本持分でない」ということは真実であるとすると「二球団でないししかも闊歩するということはない」ということは間違っている fact21: もし「あの空軍は電線類地中化でゼロコスト・オプションである」ということは正しいとするとその一元管理は味わい深くない fact22: 仮に何らかのものは旅先でないならば「それは腎性でかつ心行く」ということは成り立つ
fact3 -> int1: その一元管理は電線類地中化だ; fact2 -> int2: もしもその一元管理は電線類地中化であるとすれば「腎性である」ということは成り立つ; int1 & int2 -> int3: その一元管理は腎性だ; fact7 -> int4: もしもその一元管理は腎性であるなら味わい深い; int3 & int4 -> hypothesis;
その一元管理は味わい深いということはない
fact35 -> int5: 仮にあの空軍が憎々しくないしそれが管理権限でないとすれば電線類地中化だ; fact28 -> int6: その着手予定日は資本持分でないならば「二球団でないし闊歩するということはない」ということは事実と異なる; fact26 & fact31 -> int7: 「その御人は疎ましいということはないがしかし切り易い」ということは偽だ; fact32 & int7 -> int8: この被保険者証等は疎ましかない; fact34 & int8 -> int9: その着手予定日は資本持分でないしそれはどでかくない; int9 -> int10: 「その着手予定日は資本持分でない」ということは事実である; int6 & int10 -> int11: 「その着手予定日は二球団でないし闊歩しない」ということは偽である; fact23 & int11 -> int12: この当事者等は二球団でない; fact24 & int12 -> int13: あの空軍は憎々しくないし管理権限でない; int5 & int13 -> int14: あの空軍は電線類地中化だ; fact27 -> int15: 仮にあの空軍が旅先でないとすると腎性であるし心行く; fact30 -> int16: もし仮に「あの空軍は何気無いしそれに選進する」ということは間違いであるとすれば旅先であるということはない; fact33 -> int17: 仮にあの空軍は通り易くないとすれば「それは何気無いし更に選進する」ということは成り立たない; fact25 -> int18: 「「通り易いしそれに表現し難くない」ということは間違っている」ものはある;
$facts$ = fact1: もし「あの空軍は管理権限である」ということは成り立つとすればそれは憎々しい fact2: 電線類地中化は腎性である fact3: その一元管理はゼロコスト・オプションであるしそれは電線類地中化だ fact4: もし仮に「その着手予定日は二球団だということはなくて更に闊歩するということはない」ということは嘘ならばこの当事者等は二球団でない fact5: 仮に憎々しくないものは管理権限でないとすると「電線類地中化だ」ということは正しい fact6: もしある物は通り易くないとすれば「それは何気無くてかつ選進する」ということは成り立つということはない fact7: もしなんらかのものは腎性であるならばそれは味わい深い fact8: もし仮にその一元管理が電線類地中化だけれどそれがゼロコスト・オプションでないならあの鉄塊は汚らわしい fact9: 「ゼロコスト・オプションは電線類地中化だ」ということは成り立つ fact10: 「あの空軍は腎性でないしさらに味わい深くない」ということは誤っているならあの鉄塊は腎性である fact11: 「その陥没は通り易い一方で表現し難くない」ということは偽だ fact12: 「その御人は大書する」ということは成り立つ fact13: もしこの被保険者証等が疎ましかないならその着手予定日は資本持分でなくてそれにどでかいということはない fact14: その御人は大書するとすると「それは疎ましいということはない一方で切り易い」ということは嘘である fact15: もしも何らかのものは憎々しいなら「腎性でないし更に味わい深くない」ということは嘘である fact16: もし「この当事者等は心行くしそれにそれは旅先である」ということは成り立たないなら「それは心行かない」ということは成り立つ fact17: もし仮に「その御人は疎ましくらない一方で切り易い」ということは成り立たないならば「この被保険者証等は疎ましくらない」ということは確かである fact18: もし仮に「なんらかのものは何気無いし選進する」ということは誤っていればそれは旅先でない fact19: もしこの当事者等が二球団でないならあの空軍は憎々しくないしさらに管理権限でない fact20: もしも「何らかの物は資本持分でない」ということは真実であるとすると「二球団でないししかも闊歩するということはない」ということは間違っている fact21: もし「あの空軍は電線類地中化でゼロコスト・オプションである」ということは正しいとするとその一元管理は味わい深くない fact22: 仮に何らかのものは旅先でないならば「それは腎性でかつ心行く」ということは成り立つ ; $hypothesis$ = その一元管理は味わい深い ; $proof$ = 
fact3 -> int1: その一元管理は電線類地中化だ; fact2 -> int2: もしもその一元管理は電線類地中化であるとすれば「腎性である」ということは成り立つ; int1 & int2 -> int3: その一元管理は腎性だ; fact7 -> int4: もしもその一元管理は腎性であるなら味わい深い; int3 & int4 -> hypothesis; __PROVED__
事実1: もし「あの空軍は管理権限である」ということは成り立つとすればそれは憎々しい
事実2: 電線類地中化は腎性である
事実3: その一元管理はゼロコスト・オプションであるしそれは電線類地中化だ
事実4: もし仮に「その着手予定日は二球団だということはなくて更に闊歩するということはない」ということは嘘ならばこの当事者等は二球団でない
事実5: 仮に憎々しくないものは管理権限でないとすると「電線類地中化だ」ということは正しい
事実6: もしある物は通り易くないとすれば「それは何気無くてかつ選進する」ということは成り立つということはない
事実7: もしなんらかのものは腎性であるならばそれは味わい深い
事実8: もし仮にその一元管理が電線類地中化だけれどそれがゼロコスト・オプションでないならあの鉄塊は汚らわしい
事実9: 「ゼロコスト・オプションは電線類地中化だ」ということは成り立つ
事実10: 「あの空軍は腎性でないしさらに味わい深くない」ということは誤っているならあの鉄塊は腎性である
事実11: 「その陥没は通り易い一方で表現し難くない」ということは偽だ
事実12: 「その御人は大書する」ということは成り立つ
事実13: もしこの被保険者証等が疎ましかないならその着手予定日は資本持分でなくてそれにどでかいということはない
事実14: その御人は大書するとすると「それは疎ましいということはない一方で切り易い」ということは嘘である
事実15: もしも何らかのものは憎々しいなら「腎性でないし更に味わい深くない」ということは嘘である
事実16: もし「この当事者等は心行くしそれにそれは旅先である」ということは成り立たないなら「それは心行かない」ということは成り立つ
事実17: もし仮に「その御人は疎ましくらない一方で切り易い」ということは成り立たないならば「この被保険者証等は疎ましくらない」ということは確かである
事実18: もし仮に「なんらかのものは何気無いし選進する」ということは誤っていればそれは旅先でない
事実19: もしこの当事者等が二球団でないならあの空軍は憎々しくないしさらに管理権限でない
事実20: もしも「何らかの物は資本持分でない」ということは真実であるとすると「二球団でないししかも闊歩するということはない」ということは間違っている
事実21: もし「あの空軍は電線類地中化でゼロコスト・オプションである」ということは正しいとするとその一元管理は味わい深くない
事実22: 仮に何らかのものは旅先でないならば「それは腎性でかつ心行く」ということは成り立つ

仮説: その一元管理は味わい深い
1. 事実3から、推論1: "その一元管理は電線類地中化だ"が導かれる
2. 事実2から、推論2: "もしもその一元管理は電線類地中化であるとすれば「腎性である」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その一元管理は腎性だ"が導かれる
4. 事実7から、推論4: "もしもその一元管理は腎性であるなら味わい深い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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