その積み立て時点は御飲みに成る
fact1: もし仮にその積み立て時点が嗅がさないとするとこの土地値が後代だしさらに御飲みに成る fact2: もしあの最終案が鈍いとするとその積み立て時点は柔襞でない fact3: その東武東上線は御飲みに成る fact4: この林業は御飲みに成る fact5: もし仮に何らかの物は柔襞でないとすると嗅がすししかも後代である fact6: あの全館は御飲みに成る fact7: もしなにがしかの物は空手であるしまたジャンクフードであるなら「それは歩き易くない」ということは本当だ fact8: その積み立て時点は辛い fact9: あの最終案は遣り易い fact10: この一Ｍは御飲みに成る fact11: 「その積み立て時点は脱する」ということは成り立つ fact12: その米国特許法は御飲みに成る fact13: 仮になんらかのものは後代であるならそれは御飲みに成らない fact14: その積み立て時点は御飲みに成る fact15: あの最終案は通り易いししかもそれは発揮し易い fact16: もし仮にあの最終案が通り易いならそれはジャンクフードである fact17: 歩き易くない物は鈍いか植え付け後である fact18: 「あの最終案は遣り易い」ということは成り立てばそれは空手だ
fact14 -> hypothesis;
その積み立て時点は御飲みに成らない
fact20 -> int1: もし仮にその積み立て時点は後代であるとすれば御飲みに成らない; fact27 -> int2: もし仮にその積み立て時点が柔襞でないとすればそれは嗅がすし更にそれは後代だ; fact21 -> int3: もしも「あの最終案は歩き易くない」ということは事実であるとすると鈍いか植え付け後であるかもしくはどちらもだ; fact25 -> int4: もし「あの最終案は空手であるしジャンクフードである」ということは成り立つなら歩き易いということはない; fact26 & fact19 -> int5: あの最終案は空手だ; fact24 -> int6: あの最終案は通り易い; fact23 & int6 -> int7: あの最終案はジャンクフードである; int5 & int7 -> int8: あの最終案は空手だしその上ジャンクフードである; int4 & int8 -> int9: あの最終案は歩き易くない; int3 & int9 -> int10: あの最終案は鈍いかあるいはそれは植え付け後であるかどちらもである;
$facts$ = fact1: もし仮にその積み立て時点が嗅がさないとするとこの土地値が後代だしさらに御飲みに成る fact2: もしあの最終案が鈍いとするとその積み立て時点は柔襞でない fact3: その東武東上線は御飲みに成る fact4: この林業は御飲みに成る fact5: もし仮に何らかの物は柔襞でないとすると嗅がすししかも後代である fact6: あの全館は御飲みに成る fact7: もしなにがしかの物は空手であるしまたジャンクフードであるなら「それは歩き易くない」ということは本当だ fact8: その積み立て時点は辛い fact9: あの最終案は遣り易い fact10: この一Ｍは御飲みに成る fact11: 「その積み立て時点は脱する」ということは成り立つ fact12: その米国特許法は御飲みに成る fact13: 仮になんらかのものは後代であるならそれは御飲みに成らない fact14: その積み立て時点は御飲みに成る fact15: あの最終案は通り易いししかもそれは発揮し易い fact16: もし仮にあの最終案が通り易いならそれはジャンクフードである fact17: 歩き易くない物は鈍いか植え付け後である fact18: 「あの最終案は遣り易い」ということは成り立てばそれは空手だ ; $hypothesis$ = その積み立て時点は御飲みに成る ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: もし仮にその積み立て時点が嗅がさないとするとこの土地値が後代だしさらに御飲みに成る
事実2: もしあの最終案が鈍いとするとその積み立て時点は柔襞でない
事実3: その東武東上線は御飲みに成る
事実4: この林業は御飲みに成る
事実5: もし仮に何らかの物は柔襞でないとすると嗅がすししかも後代である
事実6: あの全館は御飲みに成る
事実7: もしなにがしかの物は空手であるしまたジャンクフードであるなら「それは歩き易くない」ということは本当だ
事実8: その積み立て時点は辛い
事実9: あの最終案は遣り易い
事実10: この一Ｍは御飲みに成る
事実11: 「その積み立て時点は脱する」ということは成り立つ
事実12: その米国特許法は御飲みに成る
事実13: 仮になんらかのものは後代であるならそれは御飲みに成らない
事実14: その積み立て時点は御飲みに成る
事実15: あの最終案は通り易いししかもそれは発揮し易い
事実16: もし仮にあの最終案が通り易いならそれはジャンクフードである
事実17: 歩き易くない物は鈍いか植え付け後である
事実18: 「あの最終案は遣り易い」ということは成り立てばそれは空手だ

仮説: その積み立て時点は御飲みに成る
1. 事実14から、仮説が導かれる

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