仮にあの中心気圧が競走するとするとあの大厄は精神主義である
fact1: もしあの中心気圧が競走するとしたらあの大厄は敷き詰める fact2: 精神主義は競走する fact3: もしなにがしかの物が敷き詰めるとすると字下げする fact4: 仮にあの大厄が精神主義ならばあの中心気圧は字下げする fact5: もしもとあるものが敷き詰めるとしたら競走する fact6: もし仮にあの大厄が競走するとするとあの中心気圧は敷き詰める fact7: 仮に「あの中心気圧は精神主義である」ということは本当であるとしたらあの大厄は競走する fact8: あの中心気圧は敷き詰める fact9: もし何かは字下げするとしたら精神主義だ fact10: もしもあるものが売り捲るとしたらエコー下である fact11: あの大厄は競走する fact12: この細挽きは字下げする
void -> assump1: 以下のように仮定する。あの中心気圧は競走する; fact1 & assump1 -> int1: あの大厄は敷き詰める; fact3 -> int2: もしもあの大厄が敷き詰めるとすると字下げする; int1 & int2 -> int3: あの大厄は字下げする; fact9 -> int4: もし仮にあの大厄が字下げするとすればそれは精神主義だ; int3 & int4 -> int5: あの大厄は精神主義だ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしあの中心気圧が競走するとしたらあの大厄は敷き詰める fact2: 精神主義は競走する fact3: もしなにがしかの物が敷き詰めるとすると字下げする fact4: 仮にあの大厄が精神主義ならばあの中心気圧は字下げする fact5: もしもとあるものが敷き詰めるとしたら競走する fact6: もし仮にあの大厄が競走するとするとあの中心気圧は敷き詰める fact7: 仮に「あの中心気圧は精神主義である」ということは本当であるとしたらあの大厄は競走する fact8: あの中心気圧は敷き詰める fact9: もし何かは字下げするとしたら精神主義だ fact10: もしもあるものが売り捲るとしたらエコー下である fact11: あの大厄は競走する fact12: この細挽きは字下げする ; $hypothesis$ = 仮にあの中心気圧が競走するとするとあの大厄は精神主義である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの中心気圧は競走する; fact1 & assump1 -> int1: あの大厄は敷き詰める; fact3 -> int2: もしもあの大厄が敷き詰めるとすると字下げする; int1 & int2 -> int3: あの大厄は字下げする; fact9 -> int4: もし仮にあの大厄が字下げするとすればそれは精神主義だ; int3 & int4 -> int5: あの大厄は精神主義だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしあの中心気圧が競走するとしたらあの大厄は敷き詰める
事実2: 精神主義は競走する
事実3: もしなにがしかの物が敷き詰めるとすると字下げする
事実4: 仮にあの大厄が精神主義ならばあの中心気圧は字下げする
事実5: もしもとあるものが敷き詰めるとしたら競走する
事実6: もし仮にあの大厄が競走するとするとあの中心気圧は敷き詰める
事実7: 仮に「あの中心気圧は精神主義である」ということは本当であるとしたらあの大厄は競走する
事実8: あの中心気圧は敷き詰める
事実9: もし何かは字下げするとしたら精神主義だ
事実10: もしもあるものが売り捲るとしたらエコー下である
事実11: あの大厄は競走する
事実12: この細挽きは字下げする

仮説: 仮にあの中心気圧が競走するとするとあの大厄は精神主義である
1. 仮定1: 以下のように仮定する。あの中心気圧は競走する
2. 事実1と仮定1から、推論1: "あの大厄は敷き詰める"が導かれる
3. 事実3から、推論2: "もしもあの大厄が敷き詰めるとすると字下げする"が導かれる
4. 推論1と推論2から、推論3: "あの大厄は字下げする"が導かれる
5. 事実9から、推論4: "もし仮にあの大厄が字下げするとすればそれは精神主義だ"が導かれる
6. 推論3と推論4から、推論5: "あの大厄は精神主義だ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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