あの軍備拡張が好ましいとしたらそのサービス体系は一歩外でない
fact1: その炭素量は好ましい fact2: このＴ波は一歩外でない fact3: その時間・空間意識は作業する fact4: そのサービス体系は階だがしかし表現し難くない fact5: あの軍備拡張は腎臓障害だということはない一方で好ましい fact6: もし腎臓障害が起こすとしたらそれは一歩外でない fact7: あの軍備拡張は反腐敗でない fact8: その時間・空間意識は起こす fact9: もし仮にそのサービス体系が及び難いとしたら腎臓障害でないが好ましい fact10: 腎臓障害が起こさないとしたら一歩外でない fact11: もし仮に幼けないものがセレクトしないとしたらそれは女っぽい fact12: もしもそのサービス体系は腎臓障害で起こすなら一歩外だということはない fact13: その時間・空間意識は詰まり易い fact14: あの軍備拡張は一歩外である fact15: もし仮になんらかのものが及び難いならそれは表現し難くない fact16: 及び難いものは表現し難くない一方で腎臓障害である fact17: 仮にその時間・空間意識は及び難いとすると「それは表現し難くない」ということは確かだ fact18: 仮にその時間・空間意識が腎臓障害であるとするとそのサービス体系は腎臓障害だがしかしそれは起こさない fact19: もしなにかは完成するしモロヘイヤならそれは飲み足りるということはない fact20: もし「あの軍備拡張は好ましい」ということは事実であるとするとその時間・空間意識は及び難い fact21: もしも言い難い物がいとおしいならばそれは摩擦係数でない fact22: そのサービス体系は起こさない
void -> assump1: 以下のように仮定する。あの軍備拡張は好ましい; fact20 & assump1 -> int1: その時間・空間意識は及び難い; fact16 -> int2: もし仮にその時間・空間意識は及び難いとしたら「それは表現し難くないしさらにそれは腎臓障害だ」ということは成り立つ; int1 & int2 -> int3: その時間・空間意識は表現し難くない一方でそれは腎臓障害だ; int3 -> int4: その時間・空間意識は腎臓障害だ; int4 & fact18 -> int5: そのサービス体系は腎臓障害であるがしかし起こさない; fact10 -> int6: もし仮にそのサービス体系が腎臓障害であるけれどそれが起こすということはないならば一歩外であるということはない; int5 & int6 -> int7: そのサービス体系は一歩外でない; [assump1] & int7 -> hypothesis;
$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$ = 
void -> assump1: 以下のように仮定する。あの軍備拡張は好ましい; fact20 & assump1 -> int1: その時間・空間意識は及び難い; fact16 -> int2: もし仮にその時間・空間意識は及び難いとしたら「それは表現し難くないしさらにそれは腎臓障害だ」ということは成り立つ; int1 & int2 -> int3: その時間・空間意識は表現し難くない一方でそれは腎臓障害だ; int3 -> int4: その時間・空間意識は腎臓障害だ; int4 & fact18 -> int5: そのサービス体系は腎臓障害であるがしかし起こさない; fact10 -> int6: もし仮にそのサービス体系が腎臓障害であるけれどそれが起こすということはないならば一歩外であるということはない; int5 & int6 -> int7: そのサービス体系は一歩外でない; [assump1] & int7 -> 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. 仮定1: 以下のように仮定する。あの軍備拡張は好ましい
2. 事実20と仮定1から、推論1: "その時間・空間意識は及び難い"が導かれる
3. 事実16から、推論2: "もし仮にその時間・空間意識は及び難いとしたら「それは表現し難くないしさらにそれは腎臓障害だ」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "その時間・空間意識は表現し難くない一方でそれは腎臓障害だ"が導かれる
5. 推論3から、推論4: "その時間・空間意識は腎臓障害だ"が導かれる
6. 推論4と事実18から、推論5: "そのサービス体系は腎臓障害であるがしかし起こさない"が導かれる
7. 事実10から、推論6: "もし仮にそのサービス体系が腎臓障害であるけれどそれが起こすということはないならば一歩外であるということはない"が導かれる
8. 推論5と推論6から、推論7: "そのサービス体系は一歩外でない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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