あるものは諸組織であるが落ち難くない
fact1: もし仮にあの潜在能力がダートであるということはないならばその金融制度はＧＮである fact2: もしもその金融制度はＧＮなら「このベンチャー・キャピタリストは落ち難くない」ということは誤りだということはない fact3: もしも「この優柔不断はパラシュートであるがしかし咲き乱れない」ということは成り立たないならばそれは駆け落ちしない fact4: 「このレベル向上は咲き乱れない」ということは本当だ fact5: もし「なにがしかのものは斬首する」ということは誤っていないとするとそれはダートでない fact6: この優柔不断はパラシュートであるが斬首しない fact7: 「とある物は斬首しないしその上それは集約しない」ということは成り立たないならそれはダートでない fact8: もし仮に「この優柔不断はダートであるがしかしそれは咲き乱れるということはない」ということは事実と異なるとすればそれは集約しない fact9: もしもある物が駆け落ちしないとすればそれは引き離せる fact10: 「妄説な」ものはある fact11: この優柔不断は引き離せるとすれば「あの田中家文書は斬首するということはない」ということは真実だ fact12: 「この優柔不断はパラシュートだがしかしそれは咲き乱れない」ということは成り立たない fact13: もしあの田中家文書は引き離せないとすれば「この優柔不断は引き離せなくてその上それは斬首しない」ということは嘘だ fact14: この優柔不断はパラシュートでないなら駆け落ちしない fact15: もし仮にあの田中家文書は斬首しないとすれば「「あの潜在能力は斬首しなくて加えて集約するということはない」ということは確かでない」ということは正しい fact16: もしあの田中家文書が斬首しないとすれば集約する fact17: その金融制度がＧＮだとすればこのベンチャー・キャピタリストは諸組織であるが落ち難くない fact18: 仮に「あの潜在能力はパラシュートでない」ということは成り立つとすると「この優柔不断はパラシュートだけれどダートでない」ということは誤りだ fact19: なんらかの物は断言出来ない fact20: 「諸組織であるしかつ落ち難い」ものはある fact21: 「あの潜在能力は斬首するけど集約しない」ということは真実でない
fact3 & fact12 -> int1: この優柔不断は駆け落ちしない; fact9 -> int2: 仮にこの優柔不断が駆け落ちしないとしたらそれは引き離せる; int1 & int2 -> int3: この優柔不断は引き離せる; int3 & fact11 -> int4: あの田中家文書は斬首しない; int4 & fact15 -> int5: 「あの潜在能力は斬首しなくて更に集約しない」ということは正しくない; fact7 -> int6: 仮に「「あの潜在能力は斬首しなくて集約しない」ということは確かである」ということは事実と異なるとすればダートでない; int5 & int6 -> int7: あの潜在能力はダートでない; int7 & fact1 -> int8: その金融制度はＧＮである; int8 & fact17 -> int9: このベンチャー・キャピタリストは諸組織であるけれど落ち難くない; int9 -> hypothesis;
$facts$ = fact1: もし仮にあの潜在能力がダートであるということはないならばその金融制度はＧＮである fact2: もしもその金融制度はＧＮなら「このベンチャー・キャピタリストは落ち難くない」ということは誤りだということはない fact3: もしも「この優柔不断はパラシュートであるがしかし咲き乱れない」ということは成り立たないならばそれは駆け落ちしない fact4: 「このレベル向上は咲き乱れない」ということは本当だ fact5: もし「なにがしかのものは斬首する」ということは誤っていないとするとそれはダートでない fact6: この優柔不断はパラシュートであるが斬首しない fact7: 「とある物は斬首しないしその上それは集約しない」ということは成り立たないならそれはダートでない fact8: もし仮に「この優柔不断はダートであるがしかしそれは咲き乱れるということはない」ということは事実と異なるとすればそれは集約しない fact9: もしもある物が駆け落ちしないとすればそれは引き離せる fact10: 「妄説な」ものはある fact11: この優柔不断は引き離せるとすれば「あの田中家文書は斬首するということはない」ということは真実だ fact12: 「この優柔不断はパラシュートだがしかしそれは咲き乱れない」ということは成り立たない fact13: もしあの田中家文書は引き離せないとすれば「この優柔不断は引き離せなくてその上それは斬首しない」ということは嘘だ fact14: この優柔不断はパラシュートでないなら駆け落ちしない fact15: もし仮にあの田中家文書は斬首しないとすれば「「あの潜在能力は斬首しなくて加えて集約するということはない」ということは確かでない」ということは正しい fact16: もしあの田中家文書が斬首しないとすれば集約する fact17: その金融制度がＧＮだとすればこのベンチャー・キャピタリストは諸組織であるが落ち難くない fact18: 仮に「あの潜在能力はパラシュートでない」ということは成り立つとすると「この優柔不断はパラシュートだけれどダートでない」ということは誤りだ fact19: なんらかの物は断言出来ない fact20: 「諸組織であるしかつ落ち難い」ものはある fact21: 「あの潜在能力は斬首するけど集約しない」ということは真実でない ; $hypothesis$ = あるものは諸組織であるが落ち難くない ; $proof$ = 
fact3 & fact12 -> int1: この優柔不断は駆け落ちしない; fact9 -> int2: 仮にこの優柔不断が駆け落ちしないとしたらそれは引き離せる; int1 & int2 -> int3: この優柔不断は引き離せる; int3 & fact11 -> int4: あの田中家文書は斬首しない; int4 & fact15 -> int5: 「あの潜在能力は斬首しなくて更に集約しない」ということは正しくない; fact7 -> int6: 仮に「「あの潜在能力は斬首しなくて集約しない」ということは確かである」ということは事実と異なるとすればダートでない; int5 & int6 -> int7: あの潜在能力はダートでない; int7 & fact1 -> int8: その金融制度はＧＮである; int8 & fact17 -> int9: このベンチャー・キャピタリストは諸組織であるけれど落ち難くない; int9 -> hypothesis; __PROVED__
事実1: もし仮にあの潜在能力がダートであるということはないならばその金融制度はＧＮである
事実2: もしもその金融制度はＧＮなら「このベンチャー・キャピタリストは落ち難くない」ということは誤りだということはない
事実3: もしも「この優柔不断はパラシュートであるがしかし咲き乱れない」ということは成り立たないならばそれは駆け落ちしない
事実4: 「このレベル向上は咲き乱れない」ということは本当だ
事実5: もし「なにがしかのものは斬首する」ということは誤っていないとするとそれはダートでない
事実6: この優柔不断はパラシュートであるが斬首しない
事実7: 「とある物は斬首しないしその上それは集約しない」ということは成り立たないならそれはダートでない
事実8: もし仮に「この優柔不断はダートであるがしかしそれは咲き乱れるということはない」ということは事実と異なるとすればそれは集約しない
事実9: もしもある物が駆け落ちしないとすればそれは引き離せる
事実10: 「妄説な」ものはある
事実11: この優柔不断は引き離せるとすれば「あの田中家文書は斬首するということはない」ということは真実だ
事実12: 「この優柔不断はパラシュートだがしかしそれは咲き乱れない」ということは成り立たない
事実13: もしあの田中家文書は引き離せないとすれば「この優柔不断は引き離せなくてその上それは斬首しない」ということは嘘だ
事実14: この優柔不断はパラシュートでないなら駆け落ちしない
事実15: もし仮にあの田中家文書は斬首しないとすれば「「あの潜在能力は斬首しなくて加えて集約するということはない」ということは確かでない」ということは正しい
事実16: もしあの田中家文書が斬首しないとすれば集約する
事実17: その金融制度がＧＮだとすればこのベンチャー・キャピタリストは諸組織であるが落ち難くない
事実18: 仮に「あの潜在能力はパラシュートでない」ということは成り立つとすると「この優柔不断はパラシュートだけれどダートでない」ということは誤りだ
事実19: なんらかの物は断言出来ない
事実20: 「諸組織であるしかつ落ち難い」ものはある
事実21: 「あの潜在能力は斬首するけど集約しない」ということは真実でない

仮説: あるものは諸組織であるが落ち難くない
1. 事実3と事実12から、推論1: "この優柔不断は駆け落ちしない"が導かれる
2. 事実9から、推論2: "仮にこの優柔不断が駆け落ちしないとしたらそれは引き離せる"が導かれる
3. 推論1と推論2から、推論3: "この優柔不断は引き離せる"が導かれる
4. 推論3と事実11から、推論4: "あの田中家文書は斬首しない"が導かれる
5. 推論4と事実15から、推論5: "「あの潜在能力は斬首しなくて更に集約しない」ということは正しくない"が導かれる
6. 事実7から、推論6: "仮に「「あの潜在能力は斬首しなくて集約しない」ということは確かである」ということは事実と異なるとすればダートでない"が導かれる
7. 推論5と推論6から、推論7: "あの潜在能力はダートでない"が導かれる
8. 推論7と事実1から、推論8: "その金融制度はＧＮである"が導かれる
9. 推論8と事実17から、推論9: "このベンチャー・キャピタリストは諸組織であるけれど落ち難くない"が導かれる
10. 推論9から、仮説が導かれる

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