この物持ち筋は突っ掛けない
fact1: その現金収入は興味深いしそれに調査分析する fact2: もしもその新生活が分離独立すればこの個人利用は計算能力であるということはないがそれは分離独立する fact3: この個人利用は眠り続ければ「その新生活は分離独立しないがしかし計算能力だ」ということは成り立たない fact4: その新生活が突っ掛けるしまたそれが分離独立するとすればあの物持ち筋は計算能力だ fact5: もし「あの物理的定義は症例Ｅ・ＦＲでないし低年齢化しない」ということは成り立たないとすればその現金収入は低年齢化する fact6: なんらかの物は眠り続ける fact7: 「低年齢化する」物はある fact8: もしもこの物持ち筋が突っ掛けるとしたらその新生活は分離独立する fact9: その新生活が分離独立するならこの個人利用は計算能力でない fact10: もしある物が低年齢化するとしたらその現金収入は眠り続けるということはない fact11: なにがしかの物が分離独立するとすると突っ掛ける fact12: もしも「その新生活は分離独立しないけれど計算能力だ」ということは偽だとしたらこの物持ち筋は分離独立する fact13: もし「「眠り続ける」ということは成り立つ」物があるならその現金収入は眠り続けるかまたは低年齢化するかあるいは両方だ fact14: もし仮にこの個人利用が計算能力でない一方で分離独立するとすればその現金収入は眠り続ける fact15: この個人利用は計算能力だということはない
void -> assump1: 以下のように仮定する。この物持ち筋は突っ掛ける; fact8 & assump1 -> int1: その新生活は分離独立する; int1 & fact2 -> int2: この個人利用は計算能力でない一方で分離独立する; int2 & fact14 -> int3: 「その現金収入は眠り続ける」ということは真実である; fact10 & fact7 -> int4: その現金収入は眠り続けない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この物持ち筋は突っ掛ける
fact19 -> int6: 仮にこの物持ち筋が分離独立するとするとそれは突っ掛ける; fact20 -> int7: その現金収入は調査分析する;
$facts$ = fact1: その現金収入は興味深いしそれに調査分析する fact2: もしもその新生活が分離独立すればこの個人利用は計算能力であるということはないがそれは分離独立する fact3: この個人利用は眠り続ければ「その新生活は分離独立しないがしかし計算能力だ」ということは成り立たない fact4: その新生活が突っ掛けるしまたそれが分離独立するとすればあの物持ち筋は計算能力だ fact5: もし「あの物理的定義は症例Ｅ・ＦＲでないし低年齢化しない」ということは成り立たないとすればその現金収入は低年齢化する fact6: なんらかの物は眠り続ける fact7: 「低年齢化する」物はある fact8: もしもこの物持ち筋が突っ掛けるとしたらその新生活は分離独立する fact9: その新生活が分離独立するならこの個人利用は計算能力でない fact10: もしある物が低年齢化するとしたらその現金収入は眠り続けるということはない fact11: なにがしかの物が分離独立するとすると突っ掛ける fact12: もしも「その新生活は分離独立しないけれど計算能力だ」ということは偽だとしたらこの物持ち筋は分離独立する fact13: もし「「眠り続ける」ということは成り立つ」物があるならその現金収入は眠り続けるかまたは低年齢化するかあるいは両方だ fact14: もし仮にこの個人利用が計算能力でない一方で分離独立するとすればその現金収入は眠り続ける fact15: この個人利用は計算能力だということはない ; $hypothesis$ = この物持ち筋は突っ掛けない ; $proof$ = 
void -> assump1: 以下のように仮定する。この物持ち筋は突っ掛ける; fact8 & assump1 -> int1: その新生活は分離独立する; int1 & fact2 -> int2: この個人利用は計算能力でない一方で分離独立する; int2 & fact14 -> int3: 「その現金収入は眠り続ける」ということは真実である; fact10 & fact7 -> int4: その現金収入は眠り続けない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その現金収入は興味深いしそれに調査分析する
事実2: もしもその新生活が分離独立すればこの個人利用は計算能力であるということはないがそれは分離独立する
事実3: この個人利用は眠り続ければ「その新生活は分離独立しないがしかし計算能力だ」ということは成り立たない
事実4: その新生活が突っ掛けるしまたそれが分離独立するとすればあの物持ち筋は計算能力だ
事実5: もし「あの物理的定義は症例Ｅ・ＦＲでないし低年齢化しない」ということは成り立たないとすればその現金収入は低年齢化する
事実6: なんらかの物は眠り続ける
事実7: 「低年齢化する」物はある
事実8: もしもこの物持ち筋が突っ掛けるとしたらその新生活は分離独立する
事実9: その新生活が分離独立するならこの個人利用は計算能力でない
事実10: もしある物が低年齢化するとしたらその現金収入は眠り続けるということはない
事実11: なにがしかの物が分離独立するとすると突っ掛ける
事実12: もしも「その新生活は分離独立しないけれど計算能力だ」ということは偽だとしたらこの物持ち筋は分離独立する
事実13: もし「「眠り続ける」ということは成り立つ」物があるならその現金収入は眠り続けるかまたは低年齢化するかあるいは両方だ
事実14: もし仮にこの個人利用が計算能力でない一方で分離独立するとすればその現金収入は眠り続ける
事実15: この個人利用は計算能力だということはない

仮説: この物持ち筋は突っ掛けない
1. 仮定1: 以下のように仮定する。この物持ち筋は突っ掛ける
2. 事実8と仮定1から、推論1: "その新生活は分離独立する"が導かれる
3. 推論1と事実2から、推論2: "この個人利用は計算能力でない一方で分離独立する"が導かれる
4. 推論2と事実14から、推論3: "「その現金収入は眠り続ける」ということは真実である"が導かれる
5. 事実10と事実7から、推論4: "その現金収入は眠り続けない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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