その自立葛藤は薬効成分だ一方で協調性でない
fact1: その種族は薬効成分だ fact2: 「その自立葛藤は生き易い」ということは確かである fact3: とある物は薬効成分であるということはないがしかし過ごし易いならゴム印だ fact4: その電停は薬効成分でない fact5: この受け渡し基準は過ごし易いということはない fact6: もしその自立葛藤はシグナル伝達分子であるなら倉敷紡績だ fact7: ある物はごきぶり・蠅でないけれど出し難いとすると「乗り易くない」ということは偽だ fact8: あのツールオプションパレットはゴム印でない fact9: その自立葛藤は天使らしい fact10: もしなにかはゴム印であるということはないとすれば「薬効成分だけど協調性でない」ということは嘘だ fact11: もしその自立葛藤が過ごし易いなら薬効成分である fact12: その自立葛藤は押し付けだ fact13: 何らかのものが協調性でないがそれは薬効成分であるなら「ゴム印である」ということは事実である fact14: あの因子分析は出し難い fact15: 「その自立葛藤はごきぶり・蠅でないが出し難い」ということは事実だ fact16: 「あの垂直距離は過ごし易い」ということは誤りでない fact17: その自立葛藤は床材だ fact18: もし仮にこの国民新聞が生じ易くない一方で協調性ならば上がり込む fact19: その自立葛藤はゴム印である fact20: この予想為替レートはごきぶり・蠅である fact21: 「もしもゴム印が乗り易いとしたらそれは協調性でない」ということは確かだ fact22: もしその自立葛藤が薬効成分でないが日本食料品であるなら「切り取らない」ということは誤りだ fact23: その自立葛藤はごきぶり・蠅でない fact24: その自立葛藤は過ごし易い
fact7 -> int1: その自立葛藤はごきぶり・蠅だということはないがしかし出し難いならば乗り易い; int1 & fact15 -> int2: その自立葛藤は乗り易い; int2 & fact19 -> int3: その自立葛藤はゴム印であるしそれにそれは乗り易い; fact21 -> int4: 仮にその自立葛藤はゴム印であるししかも乗り易いとすればそれは協調性でない; int3 & int4 -> int5: その自立葛藤は協調性でない; fact24 & fact11 -> int6: その自立葛藤は薬効成分だ; int5 & int6 -> hypothesis;
「その自立葛藤は薬効成分だけど協調性でない」ということは嘘である
fact25 -> int7: その自立葛藤はゴム印でないなら「薬効成分であるけれど協調性でない」ということは成り立つということはない;
$facts$ = fact1: その種族は薬効成分だ fact2: 「その自立葛藤は生き易い」ということは確かである fact3: とある物は薬効成分であるということはないがしかし過ごし易いならゴム印だ fact4: その電停は薬効成分でない fact5: この受け渡し基準は過ごし易いということはない fact6: もしその自立葛藤はシグナル伝達分子であるなら倉敷紡績だ fact7: ある物はごきぶり・蠅でないけれど出し難いとすると「乗り易くない」ということは偽だ fact8: あのツールオプションパレットはゴム印でない fact9: その自立葛藤は天使らしい fact10: もしなにかはゴム印であるということはないとすれば「薬効成分だけど協調性でない」ということは嘘だ fact11: もしその自立葛藤が過ごし易いなら薬効成分である fact12: その自立葛藤は押し付けだ fact13: 何らかのものが協調性でないがそれは薬効成分であるなら「ゴム印である」ということは事実である fact14: あの因子分析は出し難い fact15: 「その自立葛藤はごきぶり・蠅でないが出し難い」ということは事実だ fact16: 「あの垂直距離は過ごし易い」ということは誤りでない fact17: その自立葛藤は床材だ fact18: もし仮にこの国民新聞が生じ易くない一方で協調性ならば上がり込む fact19: その自立葛藤はゴム印である fact20: この予想為替レートはごきぶり・蠅である fact21: 「もしもゴム印が乗り易いとしたらそれは協調性でない」ということは確かだ fact22: もしその自立葛藤が薬効成分でないが日本食料品であるなら「切り取らない」ということは誤りだ fact23: その自立葛藤はごきぶり・蠅でない fact24: その自立葛藤は過ごし易い ; $hypothesis$ = その自立葛藤は薬効成分だ一方で協調性でない ; $proof$ = 
fact7 -> int1: その自立葛藤はごきぶり・蠅だということはないがしかし出し難いならば乗り易い; int1 & fact15 -> int2: その自立葛藤は乗り易い; int2 & fact19 -> int3: その自立葛藤はゴム印であるしそれにそれは乗り易い; fact21 -> int4: 仮にその自立葛藤はゴム印であるししかも乗り易いとすればそれは協調性でない; int3 & int4 -> int5: その自立葛藤は協調性でない; fact24 & fact11 -> int6: その自立葛藤は薬効成分だ; int5 & int6 -> hypothesis; __PROVED__
事実1: その種族は薬効成分だ
事実2: 「その自立葛藤は生き易い」ということは確かである
事実3: とある物は薬効成分であるということはないがしかし過ごし易いならゴム印だ
事実4: その電停は薬効成分でない
事実5: この受け渡し基準は過ごし易いということはない
事実6: もしその自立葛藤はシグナル伝達分子であるなら倉敷紡績だ
事実7: ある物はごきぶり・蠅でないけれど出し難いとすると「乗り易くない」ということは偽だ
事実8: あのツールオプションパレットはゴム印でない
事実9: その自立葛藤は天使らしい
事実10: もしなにかはゴム印であるということはないとすれば「薬効成分だけど協調性でない」ということは嘘だ
事実11: もしその自立葛藤が過ごし易いなら薬効成分である
事実12: その自立葛藤は押し付けだ
事実13: 何らかのものが協調性でないがそれは薬効成分であるなら「ゴム印である」ということは事実である
事実14: あの因子分析は出し難い
事実15: 「その自立葛藤はごきぶり・蠅でないが出し難い」ということは事実だ
事実16: 「あの垂直距離は過ごし易い」ということは誤りでない
事実17: その自立葛藤は床材だ
事実18: もし仮にこの国民新聞が生じ易くない一方で協調性ならば上がり込む
事実19: その自立葛藤はゴム印である
事実20: この予想為替レートはごきぶり・蠅である
事実21: 「もしもゴム印が乗り易いとしたらそれは協調性でない」ということは確かだ
事実22: もしその自立葛藤が薬効成分でないが日本食料品であるなら「切り取らない」ということは誤りだ
事実23: その自立葛藤はごきぶり・蠅でない
事実24: その自立葛藤は過ごし易い

仮説: その自立葛藤は薬効成分だ一方で協調性でない
1. 事実7から、推論1: "その自立葛藤はごきぶり・蠅だということはないがしかし出し難いならば乗り易い"が導かれる
2. 推論1と事実15から、推論2: "その自立葛藤は乗り易い"が導かれる
3. 推論2と事実19から、推論3: "その自立葛藤はゴム印であるしそれにそれは乗り易い"が導かれる
4. 事実21から、推論4: "仮にその自立葛藤はゴム印であるししかも乗り易いとすればそれは協調性でない"が導かれる
5. 推論3と推論4から、推論5: "その自立葛藤は協調性でない"が導かれる
6. 事実24と事実11から、推論6: "その自立葛藤は薬効成分だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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