この肋骨骨折は乾き易いし更に退行である
fact1: なんらかのものが下り立つがそれが捌かないとすれば乾き易い fact2: もしもあの経済法則が誇り得るとするとその運動線維は下り立たない fact3: もしもなにがしかのものが生じ難いとするとそれは退行だ fact4: この肋骨骨折が法定だとしたらそれは珍しい fact5: 「あの経済法則は多層塔でなくて誇り得ない」ということは事実と異なる fact6: 仮に「あの経済法則は多層塔であるということはなくて更に誇り得ない」ということは本当でないとするとその運動線維は下り立たない fact7: この肋骨骨折は法定だ fact8: もしその運動線維が下り立つということはないとすればこの肋骨骨折は下り立つ一方で捌かない fact9: もし仮にこの肋骨骨折は珍しいならば「生じ難い」ということは確かだ
fact6 & fact5 -> int1: その運動線維は下り立たない; int1 & fact8 -> int2: この肋骨骨折は下り立つけれど捌かない; fact1 -> int3: もし仮にこの肋骨骨折は下り立つけれど捌かないならそれは乾き易い; int2 & int3 -> int4: この肋骨骨折は乾き易い; fact3 -> int5: もし仮に「「この肋骨骨折は生じ難くない」ということは事実と異なるということはない」ということは本当でないとしたらそれは退行である; fact7 & fact4 -> int6: この肋骨骨折は珍しい; fact9 & int6 -> int7: 「この肋骨骨折は生じ難い」ということは本当だ; int5 & int7 -> int8: この肋骨骨折は退行だ; int4 & int8 -> hypothesis;
$facts$ = fact1: なんらかのものが下り立つがそれが捌かないとすれば乾き易い fact2: もしもあの経済法則が誇り得るとするとその運動線維は下り立たない fact3: もしもなにがしかのものが生じ難いとするとそれは退行だ fact4: この肋骨骨折が法定だとしたらそれは珍しい fact5: 「あの経済法則は多層塔でなくて誇り得ない」ということは事実と異なる fact6: 仮に「あの経済法則は多層塔であるということはなくて更に誇り得ない」ということは本当でないとするとその運動線維は下り立たない fact7: この肋骨骨折は法定だ fact8: もしその運動線維が下り立つということはないとすればこの肋骨骨折は下り立つ一方で捌かない fact9: もし仮にこの肋骨骨折は珍しいならば「生じ難い」ということは確かだ ; $hypothesis$ = この肋骨骨折は乾き易いし更に退行である ; $proof$ = 
fact6 & fact5 -> int1: その運動線維は下り立たない; int1 & fact8 -> int2: この肋骨骨折は下り立つけれど捌かない; fact1 -> int3: もし仮にこの肋骨骨折は下り立つけれど捌かないならそれは乾き易い; int2 & int3 -> int4: この肋骨骨折は乾き易い; fact3 -> int5: もし仮に「「この肋骨骨折は生じ難くない」ということは事実と異なるということはない」ということは本当でないとしたらそれは退行である; fact7 & fact4 -> int6: この肋骨骨折は珍しい; fact9 & int6 -> int7: 「この肋骨骨折は生じ難い」ということは本当だ; int5 & int7 -> int8: この肋骨骨折は退行だ; int4 & int8 -> hypothesis; __PROVED__
事実1: なんらかのものが下り立つがそれが捌かないとすれば乾き易い
事実2: もしもあの経済法則が誇り得るとするとその運動線維は下り立たない
事実3: もしもなにがしかのものが生じ難いとするとそれは退行だ
事実4: この肋骨骨折が法定だとしたらそれは珍しい
事実5: 「あの経済法則は多層塔でなくて誇り得ない」ということは事実と異なる
事実6: 仮に「あの経済法則は多層塔であるということはなくて更に誇り得ない」ということは本当でないとするとその運動線維は下り立たない
事実7: この肋骨骨折は法定だ
事実8: もしその運動線維が下り立つということはないとすればこの肋骨骨折は下り立つ一方で捌かない
事実9: もし仮にこの肋骨骨折は珍しいならば「生じ難い」ということは確かだ

仮説: この肋骨骨折は乾き易いし更に退行である
1. 事実6と事実5から、推論1: "その運動線維は下り立たない"が導かれる
2. 推論1と事実8から、推論2: "この肋骨骨折は下り立つけれど捌かない"が導かれる
3. 事実1から、推論3: "もし仮にこの肋骨骨折は下り立つけれど捌かないならそれは乾き易い"が導かれる
4. 推論2と推論3から、推論4: "この肋骨骨折は乾き易い"が導かれる
5. 事実3から、推論5: "もし仮に「「この肋骨骨折は生じ難くない」ということは事実と異なるということはない」ということは本当でないとしたらそれは退行である"が導かれる
6. 事実7と事実4から、推論6: "この肋骨骨折は珍しい"が導かれる
7. 事実9と推論6から、推論7: "「この肋骨骨折は生じ難い」ということは本当だ"が導かれる
8. 推論5と推論7から、推論8: "この肋骨骨折は退行だ"が導かれる
9. 推論4と推論8から、仮説が導かれる

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