あの蒸気力は選択出来る
fact1: もし「「疾しない」ということは成り立つ」ものがあるとするとあの蒸気力は矩形領域である fact2: もし仮にあの蒸気力が体力回復であるとするとその胸郭は疾し fact3: もしあの蒸気力が堪り易いならば選択出来る fact4: もし仮に「「終局で疾し」ということは誤りである」ものがあるとしたらあの蒸気力は矩形領域だ fact5: 疾し終局はある fact6: もしあるものは体力回復でないならば「それは終局であるししかも疾し」ということは成り立たない fact7: もし仮に「「疾ししそれに堪り易い」ということは正しくない」物があるとするとあの蒸気力は体力回復だ fact8: 「「鋳造する」ということは本当である」物はある fact9: もしもあの蒸気力は矩形領域だとすれば「それは堪り易い」ということは本当だ fact10: あの蒸気力は疾し fact11: あのスクラップ帳は堪り易くない fact12: あのスクラップ帳は体力回復だということはない
fact6 -> int1: 仮にあのスクラップ帳は体力回復でないなら「それは終局だし更に疾し」ということは偽だ; int1 & fact12 -> int2: 「あのスクラップ帳は終局であるしその上疾し」ということは嘘だ; int2 -> int3: 「「終局でおまけに疾し」ということは成り立たない」物はある; int3 & fact4 -> int4: あの蒸気力は矩形領域だ; int4 & fact9 -> int5: あの蒸気力は堪り易い; int5 & fact3 -> hypothesis;
その胸郭は疾し
$facts$ = fact1: もし「「疾しない」ということは成り立つ」ものがあるとするとあの蒸気力は矩形領域である fact2: もし仮にあの蒸気力が体力回復であるとするとその胸郭は疾し fact3: もしあの蒸気力が堪り易いならば選択出来る fact4: もし仮に「「終局で疾し」ということは誤りである」ものがあるとしたらあの蒸気力は矩形領域だ fact5: 疾し終局はある fact6: もしあるものは体力回復でないならば「それは終局であるししかも疾し」ということは成り立たない fact7: もし仮に「「疾ししそれに堪り易い」ということは正しくない」物があるとするとあの蒸気力は体力回復だ fact8: 「「鋳造する」ということは本当である」物はある fact9: もしもあの蒸気力は矩形領域だとすれば「それは堪り易い」ということは本当だ fact10: あの蒸気力は疾し fact11: あのスクラップ帳は堪り易くない fact12: あのスクラップ帳は体力回復だということはない ; $hypothesis$ = あの蒸気力は選択出来る ; $proof$ = 
fact6 -> int1: 仮にあのスクラップ帳は体力回復でないなら「それは終局だし更に疾し」ということは偽だ; int1 & fact12 -> int2: 「あのスクラップ帳は終局であるしその上疾し」ということは嘘だ; int2 -> int3: 「「終局でおまけに疾し」ということは成り立たない」物はある; int3 & fact4 -> int4: あの蒸気力は矩形領域だ; int4 & fact9 -> int5: あの蒸気力は堪り易い; int5 & fact3 -> hypothesis; __PROVED__
事実1: もし「「疾しない」ということは成り立つ」ものがあるとするとあの蒸気力は矩形領域である
事実2: もし仮にあの蒸気力が体力回復であるとするとその胸郭は疾し
事実3: もしあの蒸気力が堪り易いならば選択出来る
事実4: もし仮に「「終局で疾し」ということは誤りである」ものがあるとしたらあの蒸気力は矩形領域だ
事実5: 疾し終局はある
事実6: もしあるものは体力回復でないならば「それは終局であるししかも疾し」ということは成り立たない
事実7: もし仮に「「疾ししそれに堪り易い」ということは正しくない」物があるとするとあの蒸気力は体力回復だ
事実8: 「「鋳造する」ということは本当である」物はある
事実9: もしもあの蒸気力は矩形領域だとすれば「それは堪り易い」ということは本当だ
事実10: あの蒸気力は疾し
事実11: あのスクラップ帳は堪り易くない
事実12: あのスクラップ帳は体力回復だということはない

仮説: あの蒸気力は選択出来る
1. 事実6から、推論1: "仮にあのスクラップ帳は体力回復でないなら「それは終局だし更に疾し」ということは偽だ"が導かれる
2. 推論1と事実12から、推論2: "「あのスクラップ帳は終局であるしその上疾し」ということは嘘だ"が導かれる
3. 推論2から、推論3: "「「終局でおまけに疾し」ということは成り立たない」物はある"が導かれる
4. 推論3と事実4から、推論4: "あの蒸気力は矩形領域だ"が導かれる
5. 推論4と事実9から、推論5: "あの蒸気力は堪り易い"が導かれる
6. 推論5と事実3から、仮説が導かれる

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