「もしも編み込むしさらに取得費であるとすれば直根であるということはない」物はある
fact1: 「「もしも編み込むし加えて取得費だとしたら直根な」ものはある」ということは成り立つ fact2: この農家世帯が御披露目するしさらにそれは換算するとしたら「それは第二次整理案だ」ということは確かだ fact3: 仮にこの農家世帯は取得費であるなら錆無い fact4: もし何らかの物が錆無くてそれに作業生体であるとすればそれは直根でない fact5: か弱いものであってさらに錆無い物は第二次整理案だ fact6: あの出身者はか弱い fact7: この農家世帯は編み込む fact8: この農家世帯は開戦する fact9: もし仮にこの農家世帯は編み込むし取得費なら「直根である」ということは成り立つ fact10: その御葉はか弱い fact11: 「この農家世帯はか弱くない一方で第二次整理案である」ということは成り立たない fact12: もし「この農家世帯はか弱くない一方で第二次整理案だ」ということは成り立たないとするとそれは作業生体である fact13: 「仮に錆無いものは作業生体であるなら直根である」ということは成り立つ fact14: この農家世帯は消費するしさらに無し fact15: もしもこの農家世帯は第二次整理案でないとするとそれは作業生体である fact16: もし「何らかのものは取得費だ」ということは成り立つなら編み込む fact17: この農家世帯は直根である fact18: あのＫ社は入り込めるし作業生体である
void -> assump1: 以下のように仮定する。この農家世帯は編み込むししかも取得費である; assump1 -> int1: この農家世帯は取得費だ; int1 & fact3 -> int2: この農家世帯は錆無い; fact12 & fact11 -> int3: この農家世帯は作業生体だ; int2 & int3 -> int4: この農家世帯は錆無いし作業生体だ; fact4 -> int5: 仮にこの農家世帯が錆無いしおまけに作業生体であるとしたら「それは直根でない」ということは確かである; int4 & int5 -> int6: この農家世帯は直根でない; [assump1] & int6 -> int7: 仮にこの農家世帯は編み込むし取得費であるならばそれは直根でない; int7 -> hypothesis;
その透明部分はか弱い
fact19 -> int8: もし仮にその透明部分が取得費だとするとそれは編み込む;
$facts$ = fact1: 「「もしも編み込むし加えて取得費だとしたら直根な」ものはある」ということは成り立つ fact2: この農家世帯が御披露目するしさらにそれは換算するとしたら「それは第二次整理案だ」ということは確かだ fact3: 仮にこの農家世帯は取得費であるなら錆無い fact4: もし何らかの物が錆無くてそれに作業生体であるとすればそれは直根でない fact5: か弱いものであってさらに錆無い物は第二次整理案だ fact6: あの出身者はか弱い fact7: この農家世帯は編み込む fact8: この農家世帯は開戦する fact9: もし仮にこの農家世帯は編み込むし取得費なら「直根である」ということは成り立つ fact10: その御葉はか弱い fact11: 「この農家世帯はか弱くない一方で第二次整理案である」ということは成り立たない fact12: もし「この農家世帯はか弱くない一方で第二次整理案だ」ということは成り立たないとするとそれは作業生体である fact13: 「仮に錆無いものは作業生体であるなら直根である」ということは成り立つ fact14: この農家世帯は消費するしさらに無し fact15: もしもこの農家世帯は第二次整理案でないとするとそれは作業生体である fact16: もし「何らかのものは取得費だ」ということは成り立つなら編み込む fact17: この農家世帯は直根である fact18: あのＫ社は入り込めるし作業生体である ; $hypothesis$ = 「もしも編み込むしさらに取得費であるとすれば直根であるということはない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この農家世帯は編み込むししかも取得費である; assump1 -> int1: この農家世帯は取得費だ; int1 & fact3 -> int2: この農家世帯は錆無い; fact12 & fact11 -> int3: この農家世帯は作業生体だ; int2 & int3 -> int4: この農家世帯は錆無いし作業生体だ; fact4 -> int5: 仮にこの農家世帯が錆無いしおまけに作業生体であるとしたら「それは直根でない」ということは確かである; int4 & int5 -> int6: この農家世帯は直根でない; [assump1] & int6 -> int7: 仮にこの農家世帯は編み込むし取得費であるならばそれは直根でない; int7 -> hypothesis; __PROVED__
事実1: 「「もしも編み込むし加えて取得費だとしたら直根な」ものはある」ということは成り立つ
事実2: この農家世帯が御披露目するしさらにそれは換算するとしたら「それは第二次整理案だ」ということは確かだ
事実3: 仮にこの農家世帯は取得費であるなら錆無い
事実4: もし何らかの物が錆無くてそれに作業生体であるとすればそれは直根でない
事実5: か弱いものであってさらに錆無い物は第二次整理案だ
事実6: あの出身者はか弱い
事実7: この農家世帯は編み込む
事実8: この農家世帯は開戦する
事実9: もし仮にこの農家世帯は編み込むし取得費なら「直根である」ということは成り立つ
事実10: その御葉はか弱い
事実11: 「この農家世帯はか弱くない一方で第二次整理案である」ということは成り立たない
事実12: もし「この農家世帯はか弱くない一方で第二次整理案だ」ということは成り立たないとするとそれは作業生体である
事実13: 「仮に錆無いものは作業生体であるなら直根である」ということは成り立つ
事実14: この農家世帯は消費するしさらに無し
事実15: もしもこの農家世帯は第二次整理案でないとするとそれは作業生体である
事実16: もし「何らかのものは取得費だ」ということは成り立つなら編み込む
事実17: この農家世帯は直根である
事実18: あのＫ社は入り込めるし作業生体である

仮説: 「もしも編み込むしさらに取得費であるとすれば直根であるということはない」物はある
1. 仮定1: 以下のように仮定する。この農家世帯は編み込むししかも取得費である
2. 仮定1から、推論1: "この農家世帯は取得費だ"が導かれる
3. 推論1と事実3から、推論2: "この農家世帯は錆無い"が導かれる
4. 事実12と事実11から、推論3: "この農家世帯は作業生体だ"が導かれる
5. 推論2と推論3から、推論4: "この農家世帯は錆無いし作業生体だ"が導かれる
6. 事実4から、推論5: "仮にこの農家世帯が錆無いしおまけに作業生体であるとしたら「それは直根でない」ということは確かである"が導かれる
7. 推論4と推論5から、推論6: "この農家世帯は直根でない"が導かれる
8. [仮定1]と推論6から、推論7: "仮にこの農家世帯は編み込むし取得費であるならばそれは直根でない"が導かれる
9. 推論7から、仮説が導かれる

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