もし仮にこのアンジオテンシンが群集であるとすればこの濁り江は後退りする
fact1: このアンジオテンシンが構え易いならこの濁り江は後退りする fact2: あのトリグリセリドは等しということはない一方でそれは遇する fact3: なにがしかのものが後退りするなら群集である fact4: 「この濁り江は群集だ」ということは事実である fact5: もしもあのトリグリセリドは等しないならば「それは取り組み易くない」ということは確かだ fact6: 仮にこのアンジオテンシンは群集だとしたら「この濁り江は構え易い」ということは成り立つ fact7: もし仮にとあるものが構え易いとしたら後退りする fact8: もし仮にこのアンジオテンシンは構え易いとしたら「この濁り江は群集である」ということは真実だ fact9: もし仮にとある物は取り組み易くないとすれば「それは構え易くて低し」ということは本当でない fact10: このアンジオテンシンは看過し難い fact11: もし仮にこの濁り江が後退りするとしたら群集だ fact12: 「その日吉神人は群集である」ということは本当だ fact13: 仮に「この濁り江は群集であるということはなくてしかも後退りしない」ということは偽であるとすればこのアンジオテンシンは後退りする fact14: もしもこの濁り江が構え易いとすると群集である fact15: このアンジオテンシンは後退りする fact16: 仮に「なにかは構え易くて低し」ということは事実と異なるとすると構え易くない fact17: このアンジオテンシンが後退りするならそのイゴール達は後退りする fact18: 仮にこのアンジオテンシンは後退りするなら「それは群集だ」ということは正しい fact19: 仮に「なにがしかのものは前掲邦訳書である」ということは本当であるならば変わり得る
void -> assump1: 以下のように仮定する。このアンジオテンシンは群集である; fact6 & assump1 -> int1: この濁り江は構え易い; fact7 -> int2: この濁り江が構え易いとすればそれは後退りする; int1 & int2 -> int3: この濁り江は後退りする; [assump1] & int3 -> hypothesis;
そのイゴール達は後退りする
$facts$ = fact1: このアンジオテンシンが構え易いならこの濁り江は後退りする fact2: あのトリグリセリドは等しということはない一方でそれは遇する fact3: なにがしかのものが後退りするなら群集である fact4: 「この濁り江は群集だ」ということは事実である fact5: もしもあのトリグリセリドは等しないならば「それは取り組み易くない」ということは確かだ fact6: 仮にこのアンジオテンシンは群集だとしたら「この濁り江は構え易い」ということは成り立つ fact7: もし仮にとあるものが構え易いとしたら後退りする fact8: もし仮にこのアンジオテンシンは構え易いとしたら「この濁り江は群集である」ということは真実だ fact9: もし仮にとある物は取り組み易くないとすれば「それは構え易くて低し」ということは本当でない fact10: このアンジオテンシンは看過し難い fact11: もし仮にこの濁り江が後退りするとしたら群集だ fact12: 「その日吉神人は群集である」ということは本当だ fact13: 仮に「この濁り江は群集であるということはなくてしかも後退りしない」ということは偽であるとすればこのアンジオテンシンは後退りする fact14: もしもこの濁り江が構え易いとすると群集である fact15: このアンジオテンシンは後退りする fact16: 仮に「なにかは構え易くて低し」ということは事実と異なるとすると構え易くない fact17: このアンジオテンシンが後退りするならそのイゴール達は後退りする fact18: 仮にこのアンジオテンシンは後退りするなら「それは群集だ」ということは正しい fact19: 仮に「なにがしかのものは前掲邦訳書である」ということは本当であるならば変わり得る ; $hypothesis$ = もし仮にこのアンジオテンシンが群集であるとすればこの濁り江は後退りする ; $proof$ = 
void -> assump1: 以下のように仮定する。このアンジオテンシンは群集である; fact6 & assump1 -> int1: この濁り江は構え易い; fact7 -> int2: この濁り江が構え易いとすればそれは後退りする; int1 & int2 -> int3: この濁り江は後退りする; [assump1] & int3 -> hypothesis; __PROVED__
事実1: このアンジオテンシンが構え易いならこの濁り江は後退りする
事実2: あのトリグリセリドは等しということはない一方でそれは遇する
事実3: なにがしかのものが後退りするなら群集である
事実4: 「この濁り江は群集だ」ということは事実である
事実5: もしもあのトリグリセリドは等しないならば「それは取り組み易くない」ということは確かだ
事実6: 仮にこのアンジオテンシンは群集だとしたら「この濁り江は構え易い」ということは成り立つ
事実7: もし仮にとあるものが構え易いとしたら後退りする
事実8: もし仮にこのアンジオテンシンは構え易いとしたら「この濁り江は群集である」ということは真実だ
事実9: もし仮にとある物は取り組み易くないとすれば「それは構え易くて低し」ということは本当でない
事実10: このアンジオテンシンは看過し難い
事実11: もし仮にこの濁り江が後退りするとしたら群集だ
事実12: 「その日吉神人は群集である」ということは本当だ
事実13: 仮に「この濁り江は群集であるということはなくてしかも後退りしない」ということは偽であるとすればこのアンジオテンシンは後退りする
事実14: もしもこの濁り江が構え易いとすると群集である
事実15: このアンジオテンシンは後退りする
事実16: 仮に「なにかは構え易くて低し」ということは事実と異なるとすると構え易くない
事実17: このアンジオテンシンが後退りするならそのイゴール達は後退りする
事実18: 仮にこのアンジオテンシンは後退りするなら「それは群集だ」ということは正しい
事実19: 仮に「なにがしかのものは前掲邦訳書である」ということは本当であるならば変わり得る

仮説: もし仮にこのアンジオテンシンが群集であるとすればこの濁り江は後退りする
1. 仮定1: 以下のように仮定する。このアンジオテンシンは群集である
2. 事実6と仮定1から、推論1: "この濁り江は構え易い"が導かれる
3. 事実7から、推論2: "この濁り江が構え易いとすればそれは後退りする"が導かれる
4. 推論1と推論2から、推論3: "この濁り江は後退りする"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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